Ich weiß nicht, ob Opera oder IE den Cache bzgl. dieses Punktes cleverer verwalten, aber ja, ihr müsst den Cache leeren.
Es ist kein Problem, was noch existiert, den die PHP Dateien werden wieder sauber verarbeitet.
Es ist aber ein Problem mit eurem Browsercache, da er eine veraltete Datei anbietet.
Wenn ihr euch auskennt könnt ihr es auch gezielt entfernen.
Unter FF müsste man es hier finden:
about:cache
Unter IE müsste man es in den Temp. Internet Files finden.
Und unter Opera müsste man in der opera.ini nachschauen, welcher Speicherort angegeben ist (Eintrag Cache Directory)