replace split() with explode()

split() is deprecated.

1 files changed, 1 insertions, 1 deletions

diff --git a/index.php b/index.php
index 5c87782..b85f2cc 100644
--- a/index.php
+++ b/index.php
@@ -29,7 +29,7 @@ $highlight_names = isset($_GET['highlight_names']) ? $_GET['highlight_names'] :
 if ($highlight_names == '') {
 	$users = array();
 } else {
-	$users = split(';', $highlight_names);
+	$users = explode(';', $highlight_names);
 }
 if (isset($_GET['highlight_names'])) {
 	setcookie('stored_users', $highlight_names, time()+2592000);