watcheditem: Fix bad $options param in NoWriteWatchedItemStore::countWatchersMultiple
authorUmherirrender <umherirrender_de.wp@web.de>
Sat, 29 Jun 2019 21:33:36 +0000 (23:33 +0200)
committerKrinkle <krinklemail@gmail.com>
Sun, 8 Sep 2019 04:00:09 +0000 (04:00 +0000)
commitc2cbe376b026a3adb5cacf429019dd181880ed44
tree298fe00e2e59f017d20f18c68eff3da5bb2c64ec
parent7a08b3a13eb61e7a6c65b5f7ea9a09e2f12dc8b3
watcheditem: Fix bad $options param in NoWriteWatchedItemStore::countWatchersMultiple

countVisitingWatchersMultiple is documented to take int|null as second
parameter, but array is given here. The options array is documented to
have a minimumWatchers key, so fix it by using that key.

Caught by PhanTypeMismatchArgument, to be enabled with I34d65fe3ff191.

Change-Id: I0271edae3442fc1adafabf623beeb7f2c4411d6c
includes/watcheditem/NoWriteWatchedItemStore.php