mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText
synced 2024-11-23 22:33:48 +00:00
772a4f5642
Also reuse local variable $services for MediaWikiServices::getInstance() in Job.php. Change-Id: I0364c64aaf52e229f3e2a2c73c7d4716ec566fae |
||
---|---|---|
.. | ||
HookRunner.php | ||
Hooks.php | ||
Job.php | ||
Search.php | ||
SpecialReplaceText.php |