Treat all time values on Special:Watchlist as floats
authorMatěj Suchánek <matejsuchanek97@gmail.com>
Sun, 29 Jul 2018 09:54:45 +0000 (11:54 +0200)
committerBartosz Dziewoński <matma.rex@gmail.com>
Mon, 30 Jul 2018 12:33:42 +0000 (12:33 +0000)
commit568bd6d1bf0eb65897ca1b21ab3c1d96a96727c7
tree5eb8de880d2573206e5084b2a27608642bf7e3f2
parent43ee1abaca625261f5caae501bf9b10b54bc2e30
Treat all time values on Special:Watchlist as floats

PHP division may return float or int, depending on the operands. [1]
Make sure all numbers are of the same type (floats), because
XmlSelect compares values with ===.

[1] http://php.net/manual/en/language.operators.arithmetic.php

Bug: T199566
Change-Id: I37df6fd425f47d9a4562d83e04fcb50c3b97e0da
(cherry picked from commit 4b75063d0eafeb9260f177cde782156a81b56f6b)
includes/specials/SpecialWatchlist.php