Documentation is available at bug16724-config.php
<?php define('MY_CONFIG_OPTION', 'foo'); define('HOST12_3', 'foo'); ?>