PHP console editor