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:05:37 +0000 (12:05 +0000)
commit4b75063d0eafeb9260f177cde782156a81b56f6b
treef8c8ebb7fc8e6b451895d56aa8b21e4857af6db2
parent0394e1354081b622a453553ddb2ef0b935cd8dd3
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
includes/specials/SpecialWatchlist.php