Author: jweberhofer
Description:
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.
Version: 1.20.x
Severity: trivial