A PHP library for printing information from PHP to a JavaScript console