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

Use ::class for class name resolution

Browse source 
Available since php5.5

Change-Id: Ibb6c84372ac5b82099536fea304fcdefd3693f60
This commit is contained in:
Umherirrender 2019-03-03 02:05:56 +01:00
parent 081da20959
commit 11ee994993
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
maintenance/disableOATHAuthForUser.php
View file

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

2
maintenance/updateScratchTokenFormat.php
View file

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