Updated PHP file extensions