search

php / doc-base

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

Remove unused global entities #33

Closed Girgias closed 3 years ago

Girgias commented 3 years ago

These are unused across all our current translations, also improve the script slightly to provide more accurate information.

saundefined commented 3 years ago

@cmb69, it's already fixed. Thanks! I re-run all tests, they're green.