Removed useless php extension