Kill last vestiges of mediawiki_version. Nobody actually uses it anymore, it just...
authorChad Horohoe <demon@users.mediawiki.org>
Mon, 26 Apr 2010 13:46:04 +0000 (13:46 +0000)
committerChad Horohoe <demon@users.mediawiki.org>
Mon, 26 Apr 2010 13:46:04 +0000 (13:46 +0000)
commitb9648ffd01edfc6a93d6f3382fba4ee4b0d8bb68
tree1b560b05111739892e41431da7195fa97ed42421
parent48e88d52dc251161be015efdcd286049ee81fbba
Kill last vestiges of mediawiki_version. Nobody actually uses it anymore, it just gets silently updated (and only for Postgres at that)
includes/db/DatabaseIbm_db2.php
includes/db/DatabasePostgres.php
maintenance/ibm_db2/tables.sql
maintenance/postgres/archives/patch-mediawiki_version.sql [deleted file]
maintenance/postgres/compare_schemas.pl
maintenance/postgres/mediawiki_mysql2postgres.pl
maintenance/postgres/tables.sql
maintenance/updaters.inc