diff options
| author | James D. Forrester <jforrester@wikimedia.org> | 2024-09-27 13:03:22 -0400 |
|---|---|---|
| committer | James D. Forrester <jforrester@wikimedia.org> | 2024-09-27 16:19:10 -0400 |
| commit | 2144fef6d12c98df2ec7492b674ca2097fc6705b (patch) | |
| tree | 7f0feaea396f83ff6873ebdf668756478c3c0921 /maintenance/includes | |
| parent | 9e5c1e8ac75872d8ac1fcd2808cd0a2a3c3a7aee (diff) | |
| download | mediawikicore-2144fef6d12c98df2ec7492b674ca2097fc6705b.tar.gz mediawikicore-2144fef6d12c98df2ec7492b674ca2097fc6705b.zip | |
Add namespace to Wikimedia\Redis libs
Bug: T353458
Change-Id: I7a874e1ee1d41a75e34b8a6b6f4d065b5b812c43
Diffstat (limited to 'maintenance/includes')
| -rw-r--r-- | maintenance/includes/ForkController.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintenance/includes/ForkController.php b/maintenance/includes/ForkController.php index 0ac402190b71..fb29090114d5 100644 --- a/maintenance/includes/ForkController.php +++ b/maintenance/includes/ForkController.php @@ -21,8 +21,8 @@ namespace MediaWiki\Maintenance; use MediaWiki\MediaWikiServices; -use RedisConnectionPool; use RuntimeException; +use Wikimedia\Redis\RedisConnectionPool; /** * Manage forking inside CLI maintenance scripts. |