Update to MediaWiki 1.18.0

* also update ArchLinux skin to chagnes in MonoBook
* Use only css to hide our menu bar when printing

3 files changed, 19 insertions, 3 deletions

diff --git a/resources/mediawiki.language/languages/nl.js b/resources/mediawiki.language/languages/nl.js
new file mode 100644
index 00000000..a2b22f4b
--- /dev/null
+++ b/resources/mediawiki.language/languages/nl.js
@@ -0,0 +1,8 @@
+/**
+ * Dutch (Nederlands) language functions
+ */
+
+mediaWiki.language.digitTransformTable = {
+    '.' : ',',
+    ',' : '.'
+};
diff --git a/resources/mediawiki.language/languages/pt-br.js b/resources/mediawiki.language/languages/pt-br.js
index eda10d2e..2457e247 100644
--- a/resources/mediawiki.language/languages/pt-br.js
+++ b/resources/mediawiki.language/languages/pt-br.js
@@ -2,7 +2,7 @@
  * Brazilian Portugese (Portuguêsi do Brasil) language functions
  */
 
-mediaWiki.language.convertPlural = function( count, forms ) {
-	forms = mediaWiki.language.preConvertPlural( forms, 2 );
-	return ( count <= 1 ) ? forms[0] : forms[1];
+mediaWiki.language.digitTransformTable = {
+    '.' : ',',
+    ',' : ' '
 };
diff --git a/resources/mediawiki.language/languages/pt.js b/resources/mediawiki.language/languages/pt.js
new file mode 100644
index 00000000..1b8fc72f
--- /dev/null
+++ b/resources/mediawiki.language/languages/pt.js
@@ -0,0 +1,8 @@
+/**
+ * Portugese language functions
+ */
+
+mediaWiki.language.digitTransformTable = {
+    '.' : ',',
+    ',' : ' '
+};