Updated mediawiki/extensions
Project: mediawiki/extensions/DataValues  afa8921128d1e8cf633afd7a576970c7bd4f6805

[coordinate.js] Implemented list rotator to set precision

A list rotator widget instance may be used to adjust the automatically
detected coordinate precision.

Change-Id: I00af947ac30a26cdac76fbe7f6eb23d6e3164f05