Removing innecessary double quotes - speed

pedro_morgan

2007-08-21 c3859c5257d42fd60185518609df52dfd65518b3

 interface/web/help/support_message_list.php

@@ -6,8 +6,8 @@
$list_def_file = "list/support_message.list.php";

//* Check the module permissions
if(!stristr($_SESSION["s"]["user"]["modules"],'help')) {
   header("Location: ../index.php");
if(!stristr($_SESSION['s']['user']["modules"], 'help')) {
   header('Location: ../index.php');
   exit;
}