From 8c9dd5dff0debf71ad63e1d61dd0265646ba332c Mon Sep 17 00:00:00 2001
From: Regis Houssin <regis@dolibarr.fr>
Date: Thu, 22 Oct 2009 15:09:04 +0000
Subject: [PATCH] Fix: functions "ereg", "ereg_replace", "eregi",
"eregi_replace" is deprecated since php 5.3.0
---
htdocs/includes/menus/barre_top/auguria_backoffice.php | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/htdocs/includes/menus/barre_top/auguria_backoffice.php b/htdocs/includes/menus/barre_top/auguria_backoffice.php
index 55e357db548..266e3b09eb9 100644
--- a/htdocs/includes/menus/barre_top/auguria_backoffice.php
+++ b/htdocs/includes/menus/barre_top/auguria_backoffice.php
@@ -81,16 +81,16 @@ class MenuTop {
if ($tabMenu[$i]['right'] == true) // Is allowed
{
// Define url
- if (eregi("^(http:\/\/|https:\/\/)",$tabMenu[$i]['url']))
+ if (preg_match("/^(http:\/\/|https:\/\/)/i",$tabMenu[$i]['url']))
{
$url = $tabMenu[$i]['url'];
}
else
{
$url=DOL_URL_ROOT.$tabMenu[$i]['url'];
- if (! eregi('\?',$url)) $url.='?';
+ if (! preg_match('/\?/',$url)) $url.='?';
else $url.='&';
- if (! eregi('mainmenu',$url) || ! eregi('leftmenu',$url))
+ if (! preg_match('/mainmenu/i',$url) || ! eregi('leftmenu',$url))
{
$url.='mainmenu='.$tabMenu[$i]['mainmenu'].'&leftmenu=&';
}
--
GitLab