Life saver

I’ve had to make changes of a WordPress community site I created long ago, but handed over to someone else. As I couldn’t get in touch with him easily, I tried to edit the theme in the WP editor, but my changes were rejected. Now, thanks to this plugin and its code editor, I managed to do what I intended. Worked like a charm.