mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/PageImages
synced 2024-11-15 20:09:54 +00:00
71b5c4db22
This allows to use floats in the $wgPageImagesScores configuration. Before, decimal places have just been cut off with no warning. I find this pretty unexpected. When I see the terminology "score" being used, I always think of float values. I checked all the code that consumes these scores (it is all internal to LinksUpdateHookHandler), and it's all fine with floats. I don't see a reason to forcefully cut decimal places off. Bug: T212013 Change-Id: I0f1f0ea0865f07b3e58a2fc142dcd838eb687c97 |
||
---|---|---|
.. | ||
ApiQueryPageImagesProxyMock.php | ||
ApiQueryPageImagesTest.php | ||
LinksUpdateHookHandlerTest.php | ||
PageImagesTest.php |