20 lines
925 B
PHP
20 lines
925 B
PHP
<?php
|
|
declare(strict_types=1);
|
|
// DEV ONLY. A definição de «ambiente de desenvolvimento» é a do platform-tools
|
|
// (functions_dev.php). Carregado em todas as páginas (rodapé): se o submódulo
|
|
// ainda não tem o ficheiro (produção segue o main do platform-tools), degrada
|
|
// para «não é dev» em vez de dar fatal.
|
|
$_dev_shared = dirname(__DIR__) . '/shared/platform-tools/functions_dev.php';
|
|
if (is_file($_dev_shared)) require_once $_dev_shared;
|
|
unset($_dev_shared);
|
|
|
|
if (!function_exists('dev_environment_problem')) {
|
|
function dev_environment_problem(?array $env = null): ?string {
|
|
return function_exists('platform_dev_environment_problem')
|
|
? platform_dev_environment_problem($env) : 'platform-tools sem functions_dev.php';
|
|
}
|
|
}
|
|
if (!function_exists('dev_environment_ok')) {
|
|
function dev_environment_ok(?array $env = null): bool { return dev_environment_problem($env) === null; }
|
|
}
|