From d48410034c5fd26d743344572f75078cce8c00f9 Mon Sep 17 00:00:00 2001
From: Ralf Becker <ralfbecker@outdoor-training.de>
Date: Mon, 27 Sep 2010 14:41:29 +0000
Subject: [PATCH] fix an other PHP5.3 deprecated error

---
 setup/check_install.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/setup/check_install.php b/setup/check_install.php
index e3c2b2c545..d164fc919d 100644
--- a/setup/check_install.php
+++ b/setup/check_install.php
@@ -689,8 +689,8 @@ function php_ini_check($name,$args)
 			break;
 		case 'contain':
 			$check = lang('contain');
-			$sep = $is_windows ? '[; ]+' : '[: ]+';
-			$result = in_array($args['value'],split($sep,$ini_value));
+			$sep = $is_windows ? '/[; ]+/' : '/[: ]+/';
+			$result = in_array($args['value'],preg_split($sep,$ini_value));
 			break;
 		case '=':
 		default: