A PHP implementation of the Panda REST interface