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

getHtml('Files') ?>

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