Updated mediawiki/extensions
Project: mediawiki/extensions/InputBox  8160f5815da008190723f0d2310edfaefe8cda07

Avoid duplicate ids

There can be more then one <inputbox> in page. Don't reuse id
attributes.

See also r60072

Bug: 11777
Change-Id: If7c518445c966aa5c0b16929ccdf22cdf014b59d