$file) : $source = file_get_contents($file); ?>

getHtml('Files') ?>

getHtml('File') ?>	getHtml('Unicode') ?>	getHtml('Deprecated') ?>	getHtml('Integrity') ?>