public function module_name_encode($module_name) { $module_name = str_replace('/', '__', $module_name); $module_name = str_replace('\\', '__', $module_name); return $module_name; }