A sample orion php editor plugin