Am einfachsten (zu coden) ist es, wenn die Config-Datei selbst schon gültiges php beinhaltet. Zum Beispiel:
PHP-Code:
<?php // config.php
$options['install'] = array(
0=>'Nein',
'fedora'=>'Fedora',
'debian'=>'Debian'
);
?>
PHP-Code:
<?php
require 'config.php';
?>
<select name="install">
<?php foreach($options['install'] as $value=>$display) { ?>
<option value="<?php echo htmlentities($value); ?>"><?php echo htmlentities($display); ?></option>
<?php } ?>
</select>