Do not define MEDIAWIKI before loading WebStart.php

Defining MEDIAWIKI before loading WebStart.php can lead to warning
messages like "Notice: Constant MEDIAWIKI already defined" and is
unnecessary for the MWVersion calls that proceed loading WebStart.php.

Change-Id: I338d72a47ddb754806209db8a7ba93bcdcc7a16c