PHP Documentation Formatting