mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-12-18 02:40:50 +00:00
0b95ded538
- Remove set of $wgDiff, not used in core and seems not needed - Avoid array_keys on foreach - Save settings directly by UserOptionsManager for the fresh user - Combine calls to overrideConfigValue into one - Referer core config via MainConfigNames - Remove unneeded reset after overrideConfigValues, get reset there - Reset specific service and not all Change-Id: Ia00efae85e17dfac1768b12b35f44eb834f879ec |
||
---|---|---|
.. | ||
phpunit | ||
qunit | ||
selenium | ||
bootstrap.php | ||
echo.suite.xml |