Updated mediawiki/extensions
Project: mediawiki/extensions/DataValues  88cb23437110048f9b0104f1d611562cef2f934c

(bug #56685) allow localized output of decimal values.

Change-Id: Ie0ea0d5b921b3f4254bd0239a5ab4df69bd28fc3