Ficheiro de configuração gerado (PHP)