diff options
| author | Reedy <reedy@wikimedia.org> | 2024-01-05 18:27:39 +0000 |
|---|---|---|
| committer | Reedy <reedy@wikimedia.org> | 2024-01-11 23:29:14 +0000 |
| commit | 29b454071883ce894ae3cecf593d26e24c451df9 (patch) | |
| tree | 848b0f84669b6d273f3b6b86af2c752f3ac6be9d /includes/installer/WebInstallerInstall.php | |
| parent | bd2031e0f436f88503641dc5f358ba952144c438 (diff) | |
| download | mediawikicore-29b454071883ce894ae3cecf593d26e24c451df9.tar.gz mediawikicore-29b454071883ce894ae3cecf593d26e24c451df9.zip | |
Namespace WebInstaller classes
Change-Id: Iac081a08681048c56b20c7789c5efb50a756d167
Diffstat (limited to 'includes/installer/WebInstallerInstall.php')
| -rw-r--r-- | includes/installer/WebInstallerInstall.php | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/includes/installer/WebInstallerInstall.php b/includes/installer/WebInstallerInstall.php index 0a871814eb46..0210c6e3a7eb 100644 --- a/includes/installer/WebInstallerInstall.php +++ b/includes/installer/WebInstallerInstall.php @@ -1,7 +1,5 @@ <?php -use MediaWiki\Status\Status; - /** * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by @@ -22,6 +20,10 @@ use MediaWiki\Status\Status; * @ingroup Installer */ +namespace MediaWiki\Installer; + +use MediaWiki\Status\Status; + class WebInstallerInstall extends WebInstallerPage { /** |