Editing: IniFileLoader.php