diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2020-03-08 22:35:17 +0100 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2020-03-14 12:35:10 +0000 |
| commit | 1e4108c0c66423930274a07ea0aa67b83acdc835 (patch) | |
| tree | 6743361d324e16621aeeb38297a0548e3dee5657 /maintenance/lag.php | |
| parent | a50432f78c6986389fb75e20fc9ce1edf1d37015 (diff) | |
| download | mediawikicore-1e4108c0c66423930274a07ea0aa67b83acdc835.tar.gz mediawikicore-1e4108c0c66423930274a07ea0aa67b83acdc835.zip | |
Use MediaWikiServices::getRepoGroup in special page related classes
Change-Id: Ibc77da63fc36c0657d89a497fb8be867a617ea88
Diffstat (limited to 'maintenance/lag.php')
0 files changed, 0 insertions, 0 deletions