PHP editor written in PHP using wxPHP