Nice plugin for CSS, but editing PHP is very frustrating.
I frequently get errors like this...
File not saved, error in line 392: Is_a(): Deprecated. Please use the instanceof operator
...and can't save the file, event though the edits work perfectly fine when I disable this plugin.
You should include an option to turn off this validation. It totally defeats the purpose of having code revisions when the plugin needs to be disabled to make edits.