IniFile: do not default to using quotes
PHP: Use smart quotes