Extension '.php.txt'.