diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2022-03-12 00:19:53 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2022-03-12 00:19:53 +0000 |
| commit | 6fd4c95f5e77340cea23f88318031c02f2c7d728 (patch) | |
| tree | 44cac54804ab1c66837b3c70296f2baa92b4b481 /includes/poolcounter/PoolCounter.php | |
| parent | 4d76747779951837b7dd33a45000e01bd8d7ce4c (diff) | |
| parent | 9b09bf31121f9ecea21659ba2004d2aca8d267c6 (diff) | |
| download | mediawikicore-6fd4c95f5e77340cea23f88318031c02f2c7d728.tar.gz mediawikicore-6fd4c95f5e77340cea23f88318031c02f2c7d728.zip | |
Merge "Use updated ObjectFactory namespace"
Diffstat (limited to 'includes/poolcounter/PoolCounter.php')
| -rw-r--r-- | includes/poolcounter/PoolCounter.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/poolcounter/PoolCounter.php b/includes/poolcounter/PoolCounter.php index cad318bba5ba..8ec55a462e9c 100644 --- a/includes/poolcounter/PoolCounter.php +++ b/includes/poolcounter/PoolCounter.php @@ -21,7 +21,7 @@ * @file */ -use Wikimedia\ObjectFactory; +use Wikimedia\ObjectFactory\ObjectFactory; /** * When you have many workers (threads/servers) giving service, and a |