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

Use ::class for class name resolution

Browse source 
Change-Id: I92a73fd6eccd3cf963ce1ff50ccf4f7aac6a0e1e
This commit is contained in:
Umherirrender 2023-09-21 22:46:00 +02:00
parent c81f3aec5f
commit 80198cd635
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/Engines/LuaSandbox/LuaSandboxInterpreter.php
View file

@ -45,7 +45,7 @@ class LuaSandboxInterpreter extends LuaInterpreter {
'The luasandbox extension is not present, this engine cannot be used.' );
}
if ( !is_callable( 'LuaSandbox::getVersionInfo' ) ) {
if ( !is_callable( [ LuaSandbox::class, 'getVersionInfo' ] ) ) {
throw new LuaInterpreterBadVersionError(
'The luasandbox extension is too old (version 1.6+ is required), ' .
'this engine cannot be used.'