Why copy within or upload to ES File Explorer rename php file as txt?
i guess that is a bug but you may use bulk rename utility

Section 1:
match: (.*).txt
replace: \1

section 11
remove

Section 12:
filter: *.php.txt

hope it helps