Updated mediawiki/extensions
Project: mediawiki/extensions/InputBox  f14419180a80744eea45db12da13a0ee4dcd2f4e

Use key names with the extension name as prefix

This prevents possible current or future key conflicts. Keys for
translations will be updated at translatewiki.net.

Change-Id: Ie94fa53340c9534f45a70cbafc4d55a7e2d58a7c