Remove un-needed cast for array key in WatchedItemStore
authoraddshore <addshorewiki@gmail.com>
Thu, 24 Mar 2016 10:38:41 +0000 (10:38 +0000)
committeraddshore <addshorewiki@gmail.com>
Thu, 24 Mar 2016 10:38:41 +0000 (10:38 +0000)
commit231c684d36479d9e1681a5df22504502660bdb88
tree816935d454a08981d947154113c5b4cf5095190c
parent9717c1668dc9177dc3fda5970e417ae3003a7220
Remove un-needed cast for array key in WatchedItemStore

'1' for example will always result in a php array
key of int 1.
Same for all strings that look like / can correctly
be cast to ints

Change-Id: Id52e4273c6b2f342a148181ce63300aac37582d9
includes/WatchedItemStore.php