Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  b1694c653526f8d44573adcfcd8d6f569dc696a0

Add inputFilter function to InputWidget

Change-Id: I6abc5281c70f01c26cfa181c37ed3240bda3eb3e