A PHP micro-framework for making RESTful JSON APIs