the PHP doc comment should be placed *directly before* the declaration