PHP Commenting, Which way is correct?
<p>I have</p>

<pre><code>/**
  * This happens when the user is logged in.
  */
</code></pre>

<p>but is it meant to be like that?
Like is the spacing correct? Because I've seen</p>

<pre><code>/**
  * This happens when the user is logged in.
  */
</code></pre>

<p>and others.</p>

<p>Which is classed as correct?</p>
