According to WordPress PHP coding standards for inline comments, how would you write a single-line comment in a PHP document?