Last modified: 2013-04-22 16:15:40 UTC
I have found some tiny issues which should be corrected in mediawiki: * maintenance/postgres/archives/patch-ipb_address_unique.sql is an empty file - can it be deleted? * maintenance/cleanupPreferences.php is marked as executeable but doesn't contain a shebang. * maintenance/cleanupPreferences.php contains DOS-linebreaks but shouldn't. * extensions/WikiEditor/modules/jquery.wikiEditor.toolbar.config.js is marked executeable but shouldn't.
see I58aa11c5 and I725b7ca8
[TM=1.20.0 is past, bumping.]
I58aa11c5 merged, I725b7ca8 not yet.
I725b7ca8 merged as well. Marking this as fixed.