From 93c20e1b6967a7cee287c5670e171f64f7cb8009 Mon Sep 17 00:00:00 2001
From: Franco Fichtner <franco@opnsense.org>
Date: Thu, 18 Feb 2016 08:33:34 +0100
Subject: [PATCH] src: tweak previous, php can be picky

---
 src/sbin/3gstats.php                              | 4 ++--
 src/www/widgets/widgets/dyn_dns_status.widget.php | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/sbin/3gstats.php b/src/sbin/3gstats.php
index 28752b0a4..82effd472 100755
--- a/src/sbin/3gstats.php
+++ b/src/sbin/3gstats.php
@@ -41,7 +41,7 @@ while (true) {
     $string = fgets($handle, 256);
 
     $elements = array();
-    $elements = preg_split(":", $string, null);
+    $elements = preg_split('/:/', $string);
     $elements[0] = trim($elements[0]);
     $elements[1] = trim($elements[1]);
 
@@ -60,7 +60,7 @@ while (true) {
             break;
         case "^DSFLOWRPT":
             $items = array();
-            $items = preg_split(",", $elements[1], null);
+            $items = preg_split('/,/', $elements[1]);
             $record['time'] = hexdec($items[0]);
             $record['upstream'] = round((floatval(hexdec($items[1])) * 8) /1024);
             $record['downstream'] = round((floatval(hexdec($items[2])) * 8) /1024);
diff --git a/src/www/widgets/widgets/dyn_dns_status.widget.php b/src/www/widgets/widgets/dyn_dns_status.widget.php
index 9c9113815..2d5251e22 100644
--- a/src/www/widgets/widgets/dyn_dns_status.widget.php
+++ b/src/www/widgets/widgets/dyn_dns_status.widget.php
@@ -55,7 +55,7 @@ if ($_REQUEST['getdyndnsstatus']) {
         $filename = "/conf/dyndns_{$dyndns['interface']}{$dyndns['type']}" . escapeshellarg($dyndns['host']) . "{$dyndns['id']}.cache";
         if (file_exists($filename)) {
             $ipaddr = dyndnsCheckIP($dyndns['interface']);
-            $cached_ip_s = preg_split(":", file_get_contents($filename), null);
+            $cached_ip_s = preg_split('/:/', file_get_contents($filename));
             $cached_ip = $cached_ip_s[0];
             if ($ipaddr <> $cached_ip) {
                 echo "<font color='red'>";