mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/PageImages
synced 2024-12-01 03:17:16 +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 |
||
---|---|---|
.. | ||
phpunit |