A simple debugging tool for PHP code