search

php / doc-base

Tools for the PHP documentation
Other
343 stars 85 forks source link

Remove varentry modification from DTD #103

Closed Girgias closed 11 months ago

Girgias commented 11 months ago

As https://github.com/php/doc-en/commit/a6d209f4ff71ccba3f1255902827f5df3e092ff9 has been applied to all translations