<p>this is some text</p>
<p><code>php
function thisThing() {
echo "some weird formatted code!";
}
</code></p>
<p>some other text</p>