I think in the situations where we tell the reader to make a file look like the following we should include the PHP tags. A new developer might not know they were implied.