Updated mediawiki/extensions
Project: mediawiki/extensions/CodeReview  400b077c418fb43bbdb9f5ca40812cc322b50f78

Kill $dir for gooooooooooooood

Also fixed a couple other minor, irrelevant code style thingies which were
annoying me

Change-Id: Ibd9937ccc24500cd362f61a7c19442c793908698
Syncronize VisualEditor: d6067d5..722ecdd

Change-Id: I4cf8e26fe687d585b29331218285c5dc895989d2