Pheditor - a single-file editor and file manager written in PHP