#!/usr/bin/php * @version 20080504 */ /* utf-8 won't work here as a we have no way of working with multi-byte characters. */ $input = utf8_decode(file_get_contents('php://stdin')); $insideTag = false; $output = ''; for ($i=0; $i') $insideTag = false; $output .= $outChar; } echo $output; ?>