Title: File not saved
Last modified: August 21, 2016

---

# File not saved

 *  [demawo](https://wordpress.org/support/users/demawo/)
 * (@demawo)
 * [12 years, 2 months ago](https://wordpress.org/support/topic/file-not-saved/)
 * 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.
 * [https://wordpress.org/plugins/code-revisions/](https://wordpress.org/plugins/code-revisions/)

The topic ‘File not saved’ is closed to new replies.

 * ![](https://s.w.org/plugins/geopattern-icon/code-revisions_f1f1f1.svg)
 * [Code Revisions](https://wordpress.org/plugins/code-revisions/)
 * [Support Threads](https://wordpress.org/support/plugin/code-revisions/)
 * [Active Topics](https://wordpress.org/support/plugin/code-revisions/active/)
 * [Unresolved Topics](https://wordpress.org/support/plugin/code-revisions/unresolved/)
 * [Reviews](https://wordpress.org/support/plugin/code-revisions/reviews/)

 * 0 replies
 * 1 participant
 * Last reply from: [demawo](https://wordpress.org/support/users/demawo/)
 * Last activity: [12 years, 2 months ago](https://wordpress.org/support/topic/file-not-saved/)
 * Status: not resolved