Updated mediawiki/extensions
Project: mediawiki/extensions/DataValues  13524120de115707b14fa215cf4fb5ff6c1f985d

(bug 48145) Implemented input extender jQuery widget

The input extender widget may be used on an input box in order to display additional
information/options in an overlay beneath the input element. The basic implementation
will be upgraded in future commits.

Change-Id: I96af69359f555b61c48c638a483d756213e86856