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

Use ::class for class name resolution

Browse source 
Available since php5.5

Change-Id: Iaaffa6b0f3c1314c575b5f46f729c8a2b2630107
This commit is contained in:
Umherirrender 2019-03-02 17:50:46 +01:00
parent 272b98a34c
commit 5682f9c0e2
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
maintenance/initImageData.php
View file

@ -118,5 +118,5 @@ class InitImageData extends Maintenance {
}
}
$maintClass = 'InitImageData';
$maintClass = InitImageData::class;
require_once RUN_MAINTENANCE_IF_MAIN;