Update auf MediaWiki 1.12.0

1 files changed, 12 insertions, 0 deletions

diff --git a/maintenance/archives/patch-protected_titles.sql b/maintenance/archives/patch-protected_titles.sql
new file mode 100644
index 00000000..5307cbdd
--- /dev/null
+++ b/maintenance/archives/patch-protected_titles.sql
@@ -0,0 +1,12 @@
+-- Protected titles - nonexistent pages that have been protected
+CREATE TABLE /*$wgDBprefix*/protected_titles (
+  pt_namespace int NOT NULL,
+  pt_title varchar(255) NOT NULL,
+  pt_user int unsigned NOT NULL,
+  pt_reason tinyblob,
+  pt_timestamp binary(14) NOT NULL,
+  pt_expiry varbinary(14) NOT NULL default '',
+  pt_create_perm varbinary(60) NOT NULL,
+  PRIMARY KEY (pt_namespace,pt_title),
+  KEY pt_timestamp (pt_timestamp)
+) /*$wgDBTableOptions*/;