diff options
| author | Reedy <reedy@wikimedia.org> | 2024-01-05 18:52:59 +0000 |
|---|---|---|
| committer | Reedy <reedy@wikimedia.org> | 2024-01-13 23:45:14 +0000 |
| commit | 1c0692d19e0e9230c44b3b7c5894b2a5a39d6bb7 (patch) | |
| tree | f854ba55073304acc635bb5a66b838a00633b8a8 /maintenance/patchSql.php | |
| parent | 8600ee105c7acdac9667092f46518082bd7f3e02 (diff) | |
| download | mediawikicore-1c0692d19e0e9230c44b3b7c5894b2a5a39d6bb7.tar.gz mediawikicore-1c0692d19e0e9230c44b3b7c5894b2a5a39d6bb7.zip | |
installer: Namespace remaining classes
Change-Id: I11a8df30a2117ef29a4ade25f1082f25eb18490a
Diffstat (limited to 'maintenance/patchSql.php')
| -rw-r--r-- | maintenance/patchSql.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/maintenance/patchSql.php b/maintenance/patchSql.php index 04f25085f7f7..2670170f12c8 100644 --- a/maintenance/patchSql.php +++ b/maintenance/patchSql.php @@ -22,6 +22,8 @@ * @ingroup Maintenance */ +use MediaWiki\Installer\DatabaseUpdater; + require_once __DIR__ . '/Maintenance.php'; /** |