WebStart.php: Update the file's doc comment
authorKevin Israel <pleasestand@live.com>
Mon, 27 Feb 2017 01:19:25 +0000 (20:19 -0500)
committerKrinkle <krinklemail@gmail.com>
Fri, 26 May 2017 14:25:04 +0000 (14:25 +0000)
commite2ac8a7306dde6b8db14976eeea46bb78fae09c8
tree09cbd4cfdf35fc46e7b8f7c24c9ab2007cd778f5
parentf0e12ae951ef9f6cb359c5ecfcd3739e38f4d29a
WebStart.php: Update the file's doc comment

The doc comment did not reflect the removal of MW_NO_SETUP in
edc9edbc769b570c, or the fact that Setup.php no longer loads
AutoLoader.php or GlobalFunctions.php.

Change-Id: I19a12fd83e369828b9e08176ddf3bfca16aae465
includes/WebStart.php