Removed old PHP mush-mush files