I'm having a problem with a plugin file that is marked as inactive although the plugin itself is active. The problem occured after I tried to edit the plugin file (core.php of the Pixopint Menu plugin - but I'm not sure that's related) while the plugin was activated. I've tried deleting the whole plugin and reinstalling but nothing has changed.
I'm trying to make changes to the file but these aren't reflected in site reloads, so I'm guessing that WordPress has created a copy of the orginal file and is using that instead. How do I go back to using the original?