Improved php patch function.

tbrehm

2013-08-23 200f0f4652d29b22f94ee2da39fc98542b2e1ea4

 interface/web/designer/module_list.php

@@ -30,11 +30,8 @@
require_once('../../lib/config.inc.php');
require_once('../../lib/app.inc.php');

//* Check permissions for the module
if(!stristr($_SESSION['s']['user']['modules'],$_SESSION['s']['module']['name'])) {
   header('Location: ../index.php');
   exit;
}
//* Check permissions for module
$app->auth->check_module_permissions('designer');

$app->uses('tpl');