Translations:Manual:LocalSettings.php/13/en

Like most PHP files in MediaWiki,  does not end with the closing PHP tag $code. This prevents admins from accidentally adding new information after this tag. PHP works fine without a closing tag.