Merge "watchlist: cleanup WatchedItemStore PhpStorm warnings"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 6 Aug 2019 11:55:55 +0000 (11:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 6 Aug 2019 11:55:55 +0000 (11:55 +0000)
commit774d8c0bc85460c961210a7ffca6a29de481c921
tree124c5dca260924f8608725f2ab81748300b1cc6f
parent1eca71d573c6e5f5596e83266a16e70bc66765d8
parentdf1da3bc876852ded4747949d17192f0638b8208
Merge "watchlist: cleanup WatchedItemStore PhpStorm warnings"