Monitoring extension for PHP