Localisation updates from http://translatewiki.net.

Change-Id: Ic3c6b4f62f6bfd0e7d8d78d17ffbc6175653defa
Protect tabs from HTML Tidy

HTML Tidy doesn't care for tabs, and likes to always output spaces. This
can break the syntax-highlighted output, since Tidy converts tabs to
spaces on the source-code level instead of on the rendered HTML level,
even inside <pre> tags where it really shouldn't (this is probably a bug
in Tidy).

r97300 fixed the bad indenting by converting tabs to spaces before
highlighting, which works around Tidy's bug but breaks highlighting of
languages where tabs are significant (e.g. Whitespace).

It turns out that Tidy's tab mangling occurs while it's reading the
source file, before the conversion of entities such as &#9; to tab. So
GeSHi can armor its <pre>-wrapped output against Tidy's bug by encoding
all tabs as &#9;.

Bug: 30930
Bug: 57826
Change-Id: Id541e2712bd3f94446442ccf2e1e2f214e2801ba
Localisation updates from https://translatewiki.net.

Change-Id: I37b572a144dfb7deca997b2383d8f5c2b8eff015
Localisation updates from https://translatewiki.net.

Change-Id: Iae3638bef234ceb17f26f4cdb464e830e4890da1
Localisation updates from https://translatewiki.net.

Change-Id: I246b317a26bbf4490d04b1b5d540fdd24bbd18e5
Remove old username

My current user name is already in the list.

Change-Id: Id1e4726857e65f333ebc22e12f3d719ee2859ac2
Add COPYING

Change-Id: I861c0d58cf2ced32a1cd887186fc2272011af147
Merge "Remove old username"
Localisation updates from https://translatewiki.net.

Change-Id: I950a9a1e8fc633e020c09b3aaab45e06872b8311
Localisation updates from https://translatewiki.net.

Change-Id: I0d2526005c4891b4598bdc14d65219db4fc504f1
Localisation updates from https://translatewiki.net.

Change-Id: Iefc521355e8e3d748a8e5a806e579995af118e84
Localisation updates from https://translatewiki.net.

Change-Id: Ice456dd6992b30aca3452e09ccc60503165e027f
Localisation updates from https://translatewiki.net.

Change-Id: Id70fbfcac65708f0a68c9b441e38e4862a4e040b
Migrate to JSON i18n

Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: I28967ff1b8fc990bb5bcc88cd49a73c681dcfc91
Localisation updates from https://translatewiki.net.

Change-Id: Ice835c44174f9764da1f14a2c8842acd664ccc84
Localisation updates from https://translatewiki.net.

Change-Id: I3d15d0f0baa9296a1931c9c66c0f2937e9dd330d
Localisation updates from https://translatewiki.net.

Change-Id: I2f504948ec2352005c7a473d107f0a61526b1425
Update i18n shim

A performance issue was fixed in the shim(s) generated by
generateJsonI18n.php, so it needed to be updated.

Change-Id: I68764e4b5e5a2bff2a433edadf343707f544172f