Translations:Manual:Setup.php/1/en

This file is included from WebStart.php, provided the  constant is not defined.