Remove last bits of MediaWiki 1.19 compatibility

Compatibility with MediaWiki 1.19 had already been dropped and this hadn't
been removed yet.

Change-Id: I63788ef1d4a6eb87e4280ea2625579a7874eaff8
Update version

Change-Id: Ica44e38470c5d4356130ec9e398274b624b4045c
Coding style updates

Fix issues pointed out by PHP Code Sniffer.

Change-Id: I31279cda12101bb0ad66f104c9cd0e11019d46f1