Renormalized code. Diff against second to previous commit yields actual Mediawiki changes.

Renormalization performed by php-code-formatter + manual review/corrections.