i guess that is a bug but you may use bulk rename utility

match: (.*).php.txt
replace: $1.php

hope it helps