Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Docs: variety of fixes #3910

Closed
wants to merge 3 commits into from
Closed

Docs: variety of fixes #3910

wants to merge 3 commits into from

Conversation

jrfnl
Copy link
Contributor

@jrfnl jrfnl commented Oct 28, 2023

Description

Docs: various textual tweaks

... picked up along the way.

Docs: update a few URLs to https

Follow up to #3762

Docs: fix various incorrect type annotations

Includes a number of fixes previously pulled in (closed) PR #3703.

Suggested changelog entry

N/A

Types of changes

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to change)
    • This change is only breaking for integrators, not for external standards or end-users.
  • Documentation improvement

jrfnl and others added 3 commits October 28, 2023 18:56
... picked up along the way.
Includes a number of fixes previously pulled in (closed) PR 3703.

Co-authored-by: Andrew Dawes <[email protected]>
@jrfnl
Copy link
Contributor Author

jrfnl commented Dec 2, 2023

Closing as replaced by PHPCSStandards/PHP_CodeSniffer#94

@jrfnl jrfnl closed this Dec 2, 2023
@jrfnl jrfnl deleted the feature/various-doc-fixes branch December 2, 2023 02:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant