/**
* Is the same as:
* <code>
* hyperlight(file_get_contents($filename), $lang, $tag, $attributes);
* </code>
* @see hyperlight()
*/
function hyperlight_file($filename, $lang = null, $tag = 'pre', array $attributes = array())
{
if ($lang == '') {
// Try to guess it from file extension.
$pos = strrpos($filename, '.');
if ($pos !== false) {
$ext = substr($filename, $pos + 1);
$lang = HyperLanguage::nameFromExt($ext);
}
}
hyperlight(file_get_contents($filename), $lang, $tag, $attributes);
}
