title: How to convert & characters to HTML characters?
body: <p><code>&amp;lt;?php echo "Hello World!"; ?&amp;gt;</code></p>
  
  <p>should be:</p>
  
  <p><code>&lt;?php echo "Hello World!"; ?&gt;</code></p>
  
  <p>How do I do that in PHP?</p>