\n EOF ; } /** Resolve file URL */ function r($file) { // Try to use '/PATH' instead of 'http://SERVER/PATH' $s = "http://{$_SERVER['HTTP_HOST']}"; // http://codex.wordpress.org/Function_Reference/plugins_url [since WP 2.6.0] return preg_replace("|$s|", '', plugins_url($file,__FILE__)); } } add_action('wp_head', array('syntax_highlighter_plugin', 'header')); /* vim:set ts=4 et ai: */ ?>