Random Things

This seems to work: (from the command line. php cli needs to be installed)

   echo "<?php echo highlight_file('file.php'); ?>" | php -q > file.html


Upload the resulting file and link it to the post as appropriate.