Ah, for when `<?php` isn't around as is the case with all our PHP snippets.