[docs] Code samples: Should the <?php be included or omitted at the beginning?

[shaedrich]

<?php

class User
{
    // …
}

vs.

class User
{
    // …
}

[browner12]

we don't really need a poll for this one. I'm going to handle it, and Taylor will have final say.