wikimedia /
mediawiki
| Count | Path | Last Found |
|---|---|---|
| 3 |
includes/PHPVersionCheck.php
Coding Style
Compatibility
|
|
| 2 |
includes/api/ApiFormatBase.php
Bug
Documentation
|
|
| 11 |
includes/Message.php
Deprecated Code
|
|
| 1 |
includes/libs/rdbms/database/DatabasePostgres.php
Bug
Best Practice
|
|
| 1 |
resourceloader/ResourceLoaderWikiModule.php
Bug
|
Gergő Tisza
Brad Jorsch
Florianschmidtwelzow
Daniel Kinzler
Timo Tijhof
Jack Phoenix