web: fix for PHP7.

split() was deprecated, is now removed. explode() is the new hotness.

Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>

diff --git a/web/staticmoduleinfo.php b/web/staticmoduleinfo.php
index 7f388c2cb1d8d9cca2e6c87907bbec060a7ce253..ac4ac68f1bb19226ee184adfe9af73dd1e7420b8 100644 (file)
--- a/web/staticmoduleinfo.php
+++ b/web/staticmoduleinfo.php
@@ -63,7 +63,7 @@ if ($extdepends) {
 <h3>External dependencies:</h3>
 <ul class='external-dependencies'>
 <?php
 <h3>External dependencies:</h3>
 <ul class='external-dependencies'>
 <?php

-       foreach (split("\n", $extdepends) as $dep) {
+       foreach (explode("\n", $extdepends) as $dep) {

                $fields=preg_split("/\s+/", $dep);
                echo "<li>" . $fields[0].' ';
                if (count($fields) > 1)
                $fields=preg_split("/\s+/", $dep);
                echo "<li>" . $fields[0].' ';
                if (count($fields) > 1)