wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-23 02:09:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use ::class for class name resolution

Browse source 
Change-Id: I9e7d92d92901ecf1195bce652e77741e1c592d59
This commit is contained in:
Umherirrender 2022-06-16 22:36:46 +02:00
parent f2e2316471
commit 54b57bcf26
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/gen-autoload.php
View file

@ -42,5 +42,5 @@ class GenerateEchoAutoload extends Maintenance {
}
}
$maintClass = "GenerateEchoAutoload";
$maintClass = GenerateEchoAutoload::class;
require_once RUN_MAINTENANCE_IF_MAIN;