Update (Postgres) mediawiki_version table.

diff --git a/maintenance/updaters.inc b/maintenance/updaters.inc
index 7bc845a..afa59be 100644 (file)
--- a/maintenance/updaters.inc
+++ b/maintenance/updaters.inc
@@ -1756,6 +1756,11 @@ function do_postgres_updates() {
        if ( $numver >= 8.3 )
                dbsource(archive('patch-tsearch2funcs.sql'));
 
+       ## Put a new row in the mediawiki_version table
+       $wgDatabase->query("INSERT INTO mediawiki_version"
+                                          ."(type,ctype,mw_version,pg_version,sql_version,sql_date) "
+                                          ."VALUES ('Update','U','$wgVersion','$version','"
+                                          .'$LastChangedRevision$'."','"
+                                          .'$LastChangedDate$'."')");
        return;
 }
-