index 99710fad4ce7b2a145ec65fcb625160c95976323..4a4f39982a20872ccbd4f2bddd5585388e72939b 100644 (file)
if(isset($_GET['pg'])){
if(preg_match("/\//",$_GET['pg'])){
- $arr = split("\/",$_GET['pg']);
+ $arr = explode("/", $_GET['pg']);
$helpobject['currentplug'] = "../doc/core/".$helpobject['lang']."/html/".$arr[0];
$helpdir = $helpobject['currentplug'];
$helpobject['file']= $arr[1];