path: root/shell/bin/cat.php

<?php
function main($args) {
	$me = array_shift($args);
	foreach ($args as $file) {
		echo htmlentities(file_get_contents($file));
	}
}