A PHP micro-framework for RESTful JSON API development