A simple RESTful API in PHP