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.

Sign up for GitHub

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

Jump to bottom

Standardizes vocabulary in autodoc reference docs #28289

Merged
merged 1 commit into from
Feb 9, 2025
Merged

Standardizes vocabulary in autodoc reference docs #28289

merged 1 commit into from
Feb 9, 2025
+22 −22

Conversation

chuga-git
Copy link
Member

What Does This PR Do

The DM reference docs use the terms "type", "object", and "datum" interchangeably, but "type" seems more correct to me, here.

  • All occurrences of "class" have been replaced with "type".
  • All occurrences of "function" have been replaced with "proc".
  • Two typos have been fixed.

Declaration

  • I confirm that I either do not require pre-approval for this PR, or I have obtained such approval and have included a screenshot to demonstrate this below.

@ParadiseSS13-Bot ParadiseSS13-Bot added -Status: Awaiting type assignment This PR is waiting for its type to be assigned internally -Status: Awaiting review This PR is awaiting review from the review team and removed -Status: Awaiting type assignment This PR is waiting for its type to be assigned internally labels Feb 8, 2025
@ParadiseSS13-Bot ParadiseSS13-Bot added -Status: Awaiting merge This PR is ready for merge and removed -Status: Awaiting review This PR is awaiting review from the review team labels Feb 8, 2025
@FunnyMan3595 FunnyMan3595 added this pull request to the merge queue Feb 9, 2025
Merged via the queue into ParadiseSS13:master with commit e5f91c1 Feb 9, 2025
17 checks passed
@chuga-git chuga-git deleted the classic branch February 12, 2025 11:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@FunnyMan3595 FunnyMan3595 FunnyMan3595 approved these changes

@warriorstar-orion warriorstar-orion warriorstar-orion approved these changes

Assignees
No one assigned
Labels
-Status: Awaiting merge This PR is ready for merge
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@chuga-git @FunnyMan3595 @warriorstar-orion @ParadiseSS13-Bot