There should be a search box for the editor.
(Please correct me if I have missed this function in any way, or if there are better ways to solve this. Never posted an idea here before.)
I would find it extremely helpful having a search function for the editor. Some times one might have to change something in the code, and it takes a lot of time to find the specific section/word you are looking for.
I would like a good search function for this, hightlighting the bits in the code (php-document) I am looking for.