du kannst dir auch einfach (XAMPP)
http://xampp.de
runterladen und einen
vernünftigen editor.
dann kannst du die .php-datei auch öffnen
oder ganz tricky. einfach den quelltext kopieren, den du im browser angezeigt bekommst und dann in einer neuen datei (.htm/l) abspeichern.
^^