diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2024-01-05 17:11:45 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2024-01-05 17:11:45 +0000 |
| commit | 78fc98c9ae96813aea6dcbbd9f236ff88110254b (patch) | |
| tree | 4f95db2188b03617bec8314366bf15cd855ed528 /includes/MediaWikiEntryPoint.php | |
| parent | 882dfb517e06d64ddfced7b7906a683ed480aeff (diff) | |
| parent | d801269127783c94fa6af855dc94a236037ce869 (diff) | |
| download | mediawikicore-78fc98c9ae96813aea6dcbbd9f236ff88110254b.tar.gz mediawikicore-78fc98c9ae96813aea6dcbbd9f236ff88110254b.zip | |
Merge "Correction: Correct the MediaWiki version this was deprecated in"
Diffstat (limited to 'includes/MediaWikiEntryPoint.php')
0 files changed, 0 insertions, 0 deletions