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.