Renamed platform definition file

This commit is contained in:
Michael 2022-07-18 03:48:19 +00:00
parent 46fdd9893c
commit af8e059990
2 changed files with 4 additions and 4 deletions

View file

@ -1902,10 +1902,10 @@ class GServer
return $serverdata;
}
if (file_exists(__DIR__ . '/../../static/generator.config.php')) {
require __DIR__ . '/../../static/generator.config.php';
if (file_exists(__DIR__ . '/../../static/platforms.config.php')) {
require __DIR__ . '/../../static/platforms.config.php';
} else {
throw new HTTPException\InternalServerErrorException('Invalid generator file');
throw new HTTPException\InternalServerErrorException('Invalid platform file');
}
$platforms = array_merge($ap_platforms, $dfrn_platforms, $zap_platforms, $platforms);