A PHP json-based logging system