HomePhabricator

flaggedrevs.php: Use MediaWikiServices, not an extension function

Description

flaggedrevs.php: Use MediaWikiServices, not an extension function

MediaWikiServices runs right after configuration has been initialized,
while extension functions run significantly later, at a point where
many services might have been instantiated already so changing globals
might or might not have the desired effect.

Change-Id: I81184c6352e4636f55310bbfa20b99e892832305
Depends-On: I50898e594ae100cd3dbf0381c178c0e41a47147d

Details

Provenance
TgrAuthored on Apr 15 2021, 8:09 PM
Parents
rOMWCb4ead882dc10: replace mwlog1001 with new mwlog[12]002 hosts
Branches
Unknown
Tags
Unknown
ChangeId
I81184c6352e4636f55310bbfa20b99e892832305