Replace deprecated User::editToken with User::getEditToken (1.19)

Change-Id: Ic4fa2e491277552bfa5980f83a9b733ef14e6687
Migrate to JSON i18n

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

Change-Id: I73ac5a46b6f7e3d2026af688c9ccb66f5e159304
Remove unneeded globals.

Change-Id: Ib8b30b97ea950dd74095bea7512c7c0031fc848b