Skip to content

Reorganize end remove stale entities - #17

Merged
jordikroon merged 1 commit into
php:mainfrom
jordikroon:cleanup-stale-entities
Sep 8, 2026
Merged

Reorganize end remove stale entities#17
jordikroon merged 1 commit into
php:mainfrom
jordikroon:cleanup-stale-entities

Conversation

@jordikroon

@jordikroon jordikroon commented Sep 7, 2026

Copy link
Copy Markdown
Member
  • Removed stale entities
  • Convert to XML entities
  • Reorganise entities that are extension specific
  • Delete obsolete files (e.g entities/entities.remove.ent)

It's a big chunk, but if there were any mistakes, make would have catched it.

@jordikroon
jordikroon requested a review from alfsb September 7, 2026 18:07

@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.

This looks very nice.

I can only dream of a future of doc-en where there are no more user edited DTD entity files.

@jordikroon
jordikroon merged commit 0e1ba3c into php:main Sep 8, 2026
2 checks passed
@jordikroon
jordikroon deleted the cleanup-stale-entities branch September 8, 2026 11:32
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.

2 participants