Tiny PHP: A Fun PHP Minifier