wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-12-04 12:48:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/includes
History
Umherirrender 724c38c892 Use MediaWikiServices::getRepoGroup 
This required MediaWiki 1.34

Change-Id: Ie7186b0729b54ef9a52b18bb6a2a2696dca6daed
2020-03-16 17:58:49 +00:00
..
common Don't fall back to global $wgUser when creating ParserOptions 2020-03-07 02:33:24 +00:00
engines Use MediaWikiServices::getRepoGroup 2020-03-16 17:58:49 +00:00