diff options
| author | addshore <addshorewiki@gmail.com> | 2016-03-24 10:38:41 +0000 |
|---|---|---|
| committer | addshore <addshorewiki@gmail.com> | 2016-03-24 10:38:41 +0000 |
| commit | 231c684d36479d9e1681a5df22504502660bdb88 (patch) | |
| tree | 816935d454a08981d947154113c5b4cf5095190c /includes/WatchedItemStore.php | |
| parent | 9717c1668dc9177dc3fda5970e417ae3003a7220 (diff) | |
| download | mediawikicore-231c684d36479d9e1681a5df22504502660bdb88.tar.gz mediawikicore-231c684d36479d9e1681a5df22504502660bdb88.zip | |
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
Diffstat (limited to 'includes/WatchedItemStore.php')
| -rw-r--r-- | includes/WatchedItemStore.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/WatchedItemStore.php b/includes/WatchedItemStore.php index 20ec592d6ca2..9e21f14bdf03 100644 --- a/includes/WatchedItemStore.php +++ b/includes/WatchedItemStore.php @@ -583,7 +583,7 @@ class WatchedItemStore { $this->reuseConnection( $dbr ); foreach ( $res as $row ) { - $timestamps[(int)$row->wl_namespace][$row->wl_title] = $row->wl_notificationtimestamp; + $timestamps[$row->wl_namespace][$row->wl_title] = $row->wl_notificationtimestamp; } return $timestamps; |