$theme){ $theme = trim($theme); system("echo '

$theme

' >> all.html && highlight -l --out-format=xhtml --inline-css -s $theme --syntax=php < snippet.php 1>> all.html"); }