Updated mediawiki/extensions
Project: mediawiki/extensions/DataValues  07be95c9fd440ab561bd4903a3839d961e32507c

(bug #55511) Introducing DecimalValue

DecimalValue represent an arbitrary precision decimal number.

Change-Id: I964734c711f9949be9389a97953520ec7f562ca6