Delete php_hash_sha3