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 /includes/recentchanges | |
| parent | f29acd320ac7b2722bb6b6c2c49afcaafe995a51 (diff) | |
| parent | 2144fef6d12c98df2ec7492b674ca2097fc6705b (diff) | |
| download | mediawikicore-831a027afd9f4de044c4b8f8e3e3eca1f539734d.tar.gz mediawikicore-831a027afd9f4de044c4b8f8e3e3eca1f539734d.zip | |
Merge "Add namespace to Wikimedia\Redis libs"
Diffstat (limited to 'includes/recentchanges')
| -rw-r--r-- | includes/recentchanges/RCFeed/RedisPubSubFeedEngine.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/recentchanges/RCFeed/RedisPubSubFeedEngine.php b/includes/recentchanges/RCFeed/RedisPubSubFeedEngine.php index 0074e1437582..fcff676bc162 100644 --- a/includes/recentchanges/RCFeed/RedisPubSubFeedEngine.php +++ b/includes/recentchanges/RCFeed/RedisPubSubFeedEngine.php @@ -20,7 +20,7 @@ namespace MediaWiki\RCFeed; -use RedisConnectionPool; +use Wikimedia\Redis\RedisConnectionPool; /** * Send recent change to a Redis Pub/Sub channel. |