editAreaLoader.init({ id: '$id', start_highlight: $start_highlight, syntax: '$syntax', min_width: $min_width, min_height: $min_height, allow_resize: '$allow_resize', allow_toggle: $allow_toggle, toolbar: '$toolbar', language: '$language' }); EOT; return $result; } } if (!function_exists('getEditAreaSyntax')) { function getEditAreaSyntax($file) { // returns the highlight scheme for edit_area $syntax = 'php'; if (is_readable($file)) { // extract file extension $file_info = pathinfo($file); switch ($file_info['extension']) { case 'htm': case 'html': case 'htt': $syntax = 'html'; break; case 'css': $syntax = 'css'; break; case 'js': $syntax = 'js'; break; case 'xml': $syntax = 'xml'; break; case 'php': case 'php3': case 'php4': case 'php5': $syntax = 'php'; break; default: $syntax = 'php'; break; } } return $syntax ; } } ?>