wikimedia / mediawiki

Completed

Branch — master (939199)

by

unknown

created 2016-11-04 17:19 UTC

Labels

Severity

umherirrender 19

12 files with issues

Count	Path	Last Found
1	includes/api/ApiFileRevert.php Documentation Bug	2016-02-23 18:13 UTC
3	includes/EditPage.php Documentation Bug	2016-01-16 18:00 UTC
1	htmlform/fields/HTMLSelectAndOtherField.php Documentation	2016-01-16 18:00 UTC
2	includes/logging/LogEntry.php Documentation Bug	2016-01-16 18:00 UTC
1	includes/page/Article.php Documentation Bug	2016-02-23 18:13 UTC
3	includes/page/WikiPage.php Documentation Bug	2016-09-24 18:22 UTC
1	includes/poolcounter/PoolCounterRedis.php Documentation Bug	2016-01-16 18:00 UTC
1	includes/Revision.php Documentation Bug	2016-01-16 18:00 UTC
3	includes/revisiondelete/RevDelFileItem.php Documentation	2016-07-27 17:46 UTC
1	includes/specials/SpecialAllPages.php Documentation	2016-02-23 18:13 UTC