From 0dbc3cc51efd50fe3b552c4ccd1c4824f5abbf3d Mon Sep 17 00:00:00 2001
From: Franco Fichtner <franco@opnsense.org>
Date: Fri, 7 Dec 2018 12:30:51 +0000
Subject: [PATCH] system: remove unused get_dns_servers() #3020

---
 src/etc/inc/system.inc | 16 ----------------
 1 file changed, 16 deletions(-)

diff --git a/src/etc/inc/system.inc b/src/etc/inc/system.inc
index becf13d31..ee1cb1d1c 100644
--- a/src/etc/inc/system.inc
+++ b/src/etc/inc/system.inc
@@ -288,22 +288,6 @@ function get_searchdomains()
     return array_unique($master_list);
 }
 
-function get_dns_servers()
-{
-    $dns_servers = array();
-
-    $dns_s = file('/etc/resolv.conf', FILE_IGNORE_NEW_LINES | FILE_SKIP_EMPTY_LINES);
-
-    foreach($dns_s as $dns) {
-        $matches = '';
-        if (preg_match('/nameserver ([^ ]+)/', $dns, $matches)) {
-            $dns_servers[] = $matches[1];
-        }
-    }
-
-    return array_unique($dns_servers);
-}
-
 function get_nameservers($realif = '')
 {
     $master_list = array();