Add updatelog table.

diff --git a/maintenance/postgres/archives/patch-updatelog.sql b/maintenance/postgres/archives/patch-updatelog.sql
new file mode 100644 (file)
index 0000000..dda80aa
--- /dev/null
+++ b/maintenance/postgres/archives/patch-updatelog.sql
@@ -0,0 +1,4 @@
+
+CREATE TABLE updatelog (
+  ul_key TEXT NOT NULL PRIMARY KEY
+);

diff --git a/maintenance/postgres/tables.sql b/maintenance/postgres/tables.sql
index 22929a6..a27e4b1 100644 (file)
--- a/maintenance/postgres/tables.sql
+++ b/maintenance/postgres/tables.sql
@@ -529,6 +529,12 @@ CREATE TABLE protected_titles (
 );
 CREATE UNIQUE INDEX protected_titles_unique ON protected_titles(pt_namespace, pt_title);
 
+
+CREATE TABLE updatelog (
+  ul_key TEXT NOT NULL PRIMARY KEY
+);
+
+
 CREATE TABLE mediawiki_version (
   type         TEXT         NOT NULL,
   mw_version   TEXT         NOT NULL,

diff --git a/maintenance/updaters.inc b/maintenance/updaters.inc
index dc88aa2..b30c515 100644 (file)
--- a/maintenance/updaters.inc
+++ b/maintenance/updaters.inc
@@ -1353,6 +1353,7 @@ function do_postgres_updates() {
                array("profiling",         "patch-profiling.sql"),
                array("protected_titles",  "patch-protected_titles.sql"),
                array("redirect",          "patch-redirect.sql"),
+               array("updatelog",         "patch-updatelog.sql"),
        );
 
        $newcols = array(