From 453945c9c904d362d32a607bc45019b226e13f9c Mon Sep 17 00:00:00 2001
From: Ralf Becker <ralfbecker@outdoor-training.de>
Date: Mon, 27 Sep 2010 14:28:36 +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 eaa43e36d0..6765d1a6cb 100644
--- a/setup/check_install.php
+++ b/setup/check_install.php
@@ -693,8 +693,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: