logging utilities for PHP
