Delete php.txt~