diff options
| author | James D. Forrester <jforrester@wikimedia.org> | 2024-08-11 18:32:58 +0200 |
|---|---|---|
| committer | James D. Forrester <jforrester@wikimedia.org> | 2024-10-09 11:02:09 -0400 |
| commit | 9f02d18eac2134a85a8a37b4066f1db9f94ff5b3 (patch) | |
| tree | e4584711edfedb6bedff09b133d72e3bb21f67cb /maintenance/includes/FakeMaintenance.php | |
| parent | dd4f8bcad137eef962145d40c7fcc83a210efaf1 (diff) | |
| download | mediawikicore-9f02d18eac2134a85a8a37b4066f1db9f94ff5b3.tar.gz mediawikicore-9f02d18eac2134a85a8a37b4066f1db9f94ff5b3.zip | |
Add namespace to maintenance/includes classes
Also a few other fixes of PHP class aliases spotted by phan.
Bug: T353458
Change-Id: Ie79d65722c47c24f8f20f1293355cfd3c2e8c2ad
Diffstat (limited to 'maintenance/includes/FakeMaintenance.php')
| -rw-r--r-- | maintenance/includes/FakeMaintenance.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/maintenance/includes/FakeMaintenance.php b/maintenance/includes/FakeMaintenance.php index 7db015aa0183..3f5c139cbdec 100644 --- a/maintenance/includes/FakeMaintenance.php +++ b/maintenance/includes/FakeMaintenance.php @@ -18,6 +18,8 @@ * @file */ +namespace MediaWiki\Maintenance; + /** * Fake maintenance wrapper, mostly used for the web installer/updater * @ingroup Maintenance @@ -30,3 +32,6 @@ class FakeMaintenance extends Maintenance { public function execute() { } } + +/** @deprecated class alias since 1.43 */ +class_alias( FakeMaintenance::class, 'FakeMaintenance' ); |