Updated mediawiki/extensions
Project: mediawiki/extensions/InputBox  b71189cffe7e58bb0723cee09b95b47e5139c8d1

Improve initialization of ext.inputBox.js

Change-Id: I45b6a6106ece16f069907076a8f1f635d95fd2df