dlog for PHP extension