delete php's extension