HTML API: Apply linting changes.

[dmsnell]

Trac ticket: Core-60060

cc: @TobiasBg

[github-actions]

Test using WordPress Playground

The changes in this pull request can previewed and tested using a WordPress Playground instance.

WordPress Playground is an experimental project that creates a full WordPress instance entirely within the browser.

Some things to be aware of

• The Plugin and Theme Directories cannot be accessed within Playground.
• All changes will be lost when closing a tab with a Playground instance.
• All changes will be lost when refreshing the page.
• A fresh instance is created each time the link below is clicked.
• Every time this pull request is updated, a new ZIP file containing all changes is created. If changes are not reflected in the Playground instance,
  it's possible that the most recent build failed, or has not completed. Check the list of workflow runs to be sure.

For more details about these limitations and more, check out the Limitations page in the WordPress Playground documentation.

Test this pull request with WordPress Playground.

[mukeshpanchal27]

LGTM. Is there any sniff there that check this?

[TobiasBg]

Thanks for the PR. It's not just lowercasing though. The colons should be removed as well.

[SergeyBiryukov]

Thanks for the PR!

These should be @todo, without the trailing colon.

There is also one more instance in wp-includes/html-api/class-wp-html-active-formatting-elements.php.

Reference: PHP Documentation Standards: PHPDoc tags.

Note: At this time, there are no automated CI checks for this, so it's just a manual fix to conform to the documentation standards.

[sirreal]

Looks good.

[ockham]

Committed to Core in https://core.trac.wordpress.org/changeset/57209/.