Updated mediawiki/extensions
Project: mediawiki/extensions/DataValues  55a518ce748b0d3fc425a7c150c625e77ba445bc

Coordinate values of backend and frontend can now exchange precision

An understanding of precision has been added to the backend's GeoCoordinateValue and the frontend's
GlobeCoordinateValue::newFromJSON will now use it instead of calculating some default precision
each time.

Change-Id: Id2ee9ba6e2da80b1cd521ba0bbe54e21d32bc6c2