Open cmb69 opened 3 months ago
If https://github.com/php/doc-en/pull/3633 will be merged, there are no remaining uses of that entity in doc-en, so after translations have caught up, the entity declaration can be removed.
If https://github.com/php/doc-en/pull/3633 will be merged, there are no remaining uses of that entity in doc-en, so after translations have caught up, the entity declaration can be removed.