search

php / doc-base

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

Add ext/random to manual.xml.in #75

Closed TimWolla closed 1 year ago

TimWolla commented 1 year ago

see php/doc-en#1916

TimWolla commented 1 year ago

Interesting, CI didn't fail, despite the entity not existing (yet, as expected):

https://github.com/php/doc-base/actions/runs/3324738526/jobs/5496677311#step:6:37

cmb69 commented 1 year ago

Interesting, CI didn't fail, despite the entity not existing (yet, as expected):

Yeah, that should be investigated closer.

cmb69 commented 1 year ago

Anyway, we need to remove &reference.csprng.book; from this file.

TimWolla commented 1 year ago

Anyway, we need to remove &reference.csprng.book; from this file.

Of course :facepalm: Thanks!