function _highlight($type, $text, $language = null, $filename = null) {
	$filename = null;
	...
}