Update to MediaWiki 1.18.0

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

1 files changed, 7 insertions, 0 deletions

diff --git a/maintenance/ibm_db2/patch-external_user.sql b/maintenance/ibm_db2/patch-external_user.sql
new file mode 100644
index 00000000..96cb8237
--- /dev/null
+++ b/maintenance/ibm_db2/patch-external_user.sql
@@ -0,0 +1,7 @@
+CREATE TABLE external_user (
+  -- Foreign key to user_id
+  eu_local_id			BIGINT NOT NULL PRIMARY KEY GENERATED BY DEFAULT AS IDENTITY (START WITH 1),
+
+  -- Some opaque identifier provided by the external database
+  eu_external_id		VARCHAR(255) NOT NULL
+);