Merge "Remove un-needed cast for array key in WatchedItemStore"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 26 Apr 2016 18:36:47 +0000 (18:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 26 Apr 2016 18:36:47 +0000 (18:36 +0000)
commitf5fc9f21ead83bbc50544772281996f37f64d17c
treec6742317e087f0cbb1b4974e2b0bda41a4568457
parent0782103a019df0785b1b7fb68a97f1a7c0e11141
parent231c684d36479d9e1681a5df22504502660bdb88
Merge "Remove un-needed cast for array key in WatchedItemStore"
includes/WatchedItemStore.php