diff --git a/html/main.php b/html/main.php
index fe78ce1c1bb866c419c86879b535b35b37fdf1bc..37a2eec73c14796cb2a3bceeaddd24c303c9413c 100644 (file)
--- a/html/main.php
+++ b/html/main.php
/* Initially load all classes */
$class_list= get_declared_classes();
foreach ($class_mapping as $class => $path){
- if (!in_array($class, $class_list) && !preg_match('/\/dojo\//', $path)){
+ if (!in_array($class, $class_list)){
require_once("$BASE_DIR/$path");
}
}