(bug 26130) Revert changes to WebStart.php in r72349, which turn out to have been...