wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-24 00:05:00 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use MediaWikiServices::getRepoGroup

Browse source 
This required MediaWiki 1.34

Change-Id: Ie7186b0729b54ef9a52b18bb6a2a2696dca6daed
This commit is contained in:
Umherirrender 2020-03-14 19:28:49 +01:00
parent 92587641dc
commit 724c38c892
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -10,7 +10,7 @@
"license-name": "GPL-2.0-or-later AND MIT",
"type": "parserhook",
"requires": {
"MediaWiki": ">=1.32.0"
"MediaWiki": ">=1.34.0"
},
"APIModules": {
"scribunto-console": "ApiScribuntoConsole"

2
includes/engines/LuaCommon/TitleLibrary.php
View file

@ -328,7 +328,7 @@ class Scribunto_LuaTitleLibrary extends Scribunto_LuaLibraryBase {
}
$this->incrementExpensiveFunctionCount();
$file = wfFindFile( $title );
$file = MediaWikiServices::getInstance()->getRepoGroup()->findFile( $title );
if ( !$file ) {
return [ [ 'exists' => false ] ];
}