If my memory serves me correct, that *.php is for a different shell, DesktopX, I think, I downloaded the shell last year and it used up too much resources and it cost $$$.