public function findConfigM4File($dir)
{
$configM4Path = $dir . DIRECTORY_SEPARATOR . 'config.m4';
if (file_exists($configM4Path)) {
return 'config.m4';
}
for ($i = 0; $i < 10; ++$i) {
$filename = "config{$i}.m4";
$configM4Path = $dir . DIRECTORY_SEPARATOR . $filename;
if (file_exists($configM4Path)) {
return $filename;
}
}
}