Updated mediawiki/extensions
Project: mediawiki/extensions/DataValues  8fa12968596a66542f9b3d62390e8913232e04b2

(bug 48145) Formatted time.js according to our coding guidelines

This makes sense since time.js will from now on be further developed in this repository if there
are any adjustments necessary.

Change-Id: I65c7f5b2ffe61e910b69324e60ecb4ef9babe4b8