From 14888fb434fff7585532067a7e10e389831d794e Mon Sep 17 00:00:00 2001
From: ekinhbayar <ekinhbayar@users.noreply.github.com>
Date: Fri, 11 Dec 2020 13:07:07 +0300
Subject: [PATCH] Remove bug41347.phpt as the error cases are already tested

---
 ext/standard/tests/network/bug41347.phpt | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 ext/standard/tests/network/bug41347.phpt

diff --git a/ext/standard/tests/network/bug41347.phpt b/ext/standard/tests/network/bug41347.phpt
deleted file mode 100644
index 626561976b84..000000000000
--- a/ext/standard/tests/network/bug41347.phpt
+++ /dev/null
@@ -1,12 +0,0 @@
---TEST--
-dns_check_record() segfault with empty host
---FILE--
-<?php
-try {
-    var_dump(dns_check_record(''));
-} catch (ValueError $exception) {
-    echo $exception->getMessage() . "\n";
-}
-?>
---EXPECT--
-dns_check_record(): Argument #1 ($hostname) cannot be empty