Merge "Fix a few minor mistakes in PHPDoc tags"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 15 Sep 2017 19:18:17 +0000 (19:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 15 Sep 2017 19:18:17 +0000 (19:18 +0000)
commit03cd9495a4dac1c1cda738d52e74b553b977beb8
treef22b2ede6018eac12a7a3a79622b860a01b2022d
parent8998c0a0d5fa103c31abfb6dd90cfc2a72de5927
parent7301b2514e834a6edb84de838320b2e5d55a6254
Merge "Fix a few minor mistakes in PHPDoc tags"
includes/rcfeed/RedisPubSubFeedEngine.php