No need to check if $row->rev_id is set
[mediawiki.git] / maintenance / postgres / 
treec500f08b200ac2c25ebfcf855692087afad93f0d
drwxr-xr-x   ..
drwxr-xr-x - archives
-rw-r--r-- 11557 compare_schemas.pl
-rw-r--r-- 13957 mediawiki_mysql2postgres.pl
-rw-r--r-- 22173 tables.sql