A simple php script to remove extension from php file.