Updated mediawiki/extensions
Project: mediawiki/extensions/DataValues  381d5633a5afd968cfa17a2b56286bb6b9562352

(bug 48145) Introducing listrotator widget to set time precision

The new listrotator jQuery widget is used to set the time value's precision.
Apart from that, the input extender widget is enhanced to better comply with
the additional content.

Change-Id: Iaca1465915ce874bfb864e48dfaaa309a599202b