diff --git a/ChangeLog b/ChangeLog index fc451fee6a..3b0c41b5af 100755 --- a/ChangeLog +++ b/ChangeLog @@ -12,6 +12,9 @@ $Source$ 2001-08-18 Robin Johnson * lib.inc.php3 (788, 790) : tweak size for lower resolution screens. + * above change undone + * fixed up some spacing in the code for neatness + * lib.inc.php3 (694) : preg_replace changed to eregi_replace as per support #447076 2001-08-18 Olivier Müller * db_details.php3: added a few . diff --git a/lib.inc.php3 b/lib.inc.php3 index 14767b8d82..8dac61bd34 100755 --- a/lib.inc.php3 +++ b/lib.inc.php3 @@ -691,10 +691,11 @@ window.parent.frames['nav'].location.replace('./left.php3?lang== 2) { - $sql = preg_replace( - '/\W'.$data[1].'\./i', - ' '.$data[0].'.', - $sql); + $sql = eregi_replace( + '([^a-zA-Z0-9])'.$data[1].'\.', + '\1 '.$data[0].'.', + $sql); + if (!isset($match)) { $match = $data[0].' '.$data[1]; } @@ -790,9 +791,9 @@ window.parent.frames['nav'].location.replace('./left.php3?lang=" /> - + - +