Delete PHPTools.py