Updated mediawiki/extensions
Project: mediawiki/extensions/InputBox  d9dc4ca6405a7ea54cb42ebf8cd3280c72869f79

Inputbox: Some code conventions cleanup

Change-Id: I16fcd16d81a7eecc845b5d36fd8af8e14792eea1