Skip to content

[skip-revcheck] Add missing <!-- $Revision$ --> in relative-class-types.xml#5679

Open
DavidePastore wants to merge 1 commit into
php:masterfrom
DavidePastore:patch-1
Open

[skip-revcheck] Add missing <!-- $Revision$ --> in relative-class-types.xml#5679
DavidePastore wants to merge 1 commit into
php:masterfrom
DavidePastore:patch-1

Conversation

@DavidePastore

@DavidePastore DavidePastore commented Jul 14, 2026

Copy link
Copy Markdown
Member

Add missing <!-- $Revision$ --> in relative-class-types.xml.

Add missing <!-- $Revision$ -->
@alfsb

alfsb commented Jul 14, 2026

Copy link
Copy Markdown
Member

Prefix the PR title with [skip-revcheck], to avoid changing the hash on all translations. See Translating documentation in https://doc.php.net/guide/editing.md .

@DavidePastore DavidePastore changed the title Add missing <!-- $Revision$ --> in relative-class-types.xml [skip-revcheck] Add missing <!-- $Revision$ --> in relative-class-types.xml Jul 15, 2026
@DavidePastore

Copy link
Copy Markdown
Member Author

@alfsb, done 😄

@alfsb alfsb left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm somewhat very fearful of merging things in doc-en, but I will try to do the merging of small PRs like this, in the future, if you or someone else doesn't do it first.

@jordikroon

jordikroon commented Jul 16, 2026

Copy link
Copy Markdown
Member

@alfsb Davide doesn't have write access to doc-en. But feel free to merge. There isn't really much that can go wrong.
But if you prefer, I can do. Given how much you are involved in doc-base and doc-en no need to be hesitant.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants