A simple RESTful Web Service in PHP