[code language=php]
function foo() {
  echo “Hello World!\\n”;
}
[/code]