Translations:Manual:Setup.php/1/en

This file is included from $webstart, provided the  constant is not defined.