Updated mediawiki/extensions
Project: mediawiki/extensions/Video  e8861c4e5a7811485e3f08932502c253d979f067

Add video-showhidebots to extension itself

Was used from core, and was the only usage. This change allows that it can
be removed from core.

Also convert leading spaces to tabs in en.json.

Change-Id: I4458ab7f6e534c28f8b90d910c850a7ae0982d6b