phpini_editor - timezone post filtering

phpini_editor can't save timezones with slash, eg. date.timezone = Europe/Zagreb

No errors returned.
Looks like there is if statement that shouldn't be there or it's wrongly coded post filter, because adding backslash in front of slash eg. Europe\/Zagreb will be saved correctly as Europe/Zagreb