Start to improve HTMLDiff.php localization. For the time being, I recommend that...
[mediawiki.git] / maintenance / postgres / 
treebd2e16b0f805578c5ef3305ab830bc9f4024d4cb
drwxr-xr-x   ..
drwxr-xr-x - archives
-rw-r--r-- 13202 compare_schemas.pl
-rw-r--r-- 13985 mediawiki_mysql2postgres.pl
-rw-r--r-- 22420 tables.sql