wikimedia / mediawiki

Completed

Branch — master (939199)

by

unknown

created 2016-11-04 17:19 UTC

Labels

Severity

70 files with issues

Count	Path	Last Found
1	maintenance/fixTimestamps.php Coding Style Compatibility	2016-02-23 18:14 UTC
1	includes/page/WikiPage.php Bug	2016-02-23 18:13 UTC
1	maintenance/initEditCount.php Coding Style Compatibility	2016-02-23 18:14 UTC
1	includes/libs/mime/XmlTypeCheck.php Bug	2016-01-16 18:00 UTC
1	maintenance/cleanupImages.php Coding Style Compatibility	2016-02-23 18:14 UTC
1	maintenance/dumpTextPass.php Coding Style Compatibility	2016-02-23 18:14 UTC
1	includes/user/User.php Documentation Bug	2016-01-16 18:00 UTC
1	maintenance/deleteBatch.php Coding Style Compatibility	2016-02-23 18:14 UTC
1	includes/Title.php Bug	2016-09-24 18:22 UTC
1	maintenance/checkBadRedirects.php Coding Style Compatibility	2016-02-23 18:14 UTC