Avoid typecasting to float when not needed
commitb27020f10882cf74317b26c93034a7312e4656a9
authorMichal Čihař <michal@cihar.com>
Fri, 29 Jul 2016 12:03:13 +0000 (29 14:03 +0200)
committerMichal Čihař <michal@cihar.com>
Fri, 29 Jul 2016 12:03:13 +0000 (29 14:03 +0200)
tree35911f9aff33d7f3a9f44c17cb9d319890b78116
parentde1e473a9dfc50d2a7e71b618706c9e13a87f13d
Avoid typecasting to float when not needed

Fixes #12303

Signed-off-by: Michal Čihař <michal@cihar.com>
ChangeLog
libraries/Util.php