diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2024-10-03 13:59:08 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2024-10-03 13:59:08 +0000 |
| commit | 831a027afd9f4de044c4b8f8e3e3eca1f539734d (patch) | |
| tree | 8377132c60fd59457de0bb6646cc3baa312e9a17 /maintenance | |
| parent | f29acd320ac7b2722bb6b6c2c49afcaafe995a51 (diff) | |
| parent | 2144fef6d12c98df2ec7492b674ca2097fc6705b (diff) | |
| download | mediawikicore-831a027afd9f4de044c4b8f8e3e3eca1f539734d.tar.gz mediawikicore-831a027afd9f4de044c4b8f8e3e3eca1f539734d.zip | |
Merge "Add namespace to Wikimedia\Redis libs"
Diffstat (limited to 'maintenance')
| -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. |