I'm curious, is there a reason readini is not used for config files in general? Is it that much faster to include the config.php file as opposed to using readini?