mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Math
synced 2024-12-12 07:55:11 +00:00
b3e57cbfc2
Otherwise IDEs and other tools don't know what's going on. ...->getService() returns mixed. Change-Id: If0429485941c19eb0e88896cb1ada66a5320bafe |
||
---|---|---|
.. | ||
data | ||
InputCheckFactoryTest.php | ||
LocalCheckerTest.php | ||
MathoidCheckerTest.php | ||
RestbaseCheckerTest.php |