You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This is actually a problem in phd, which is the tool that converts the documentation from XML to HTML, specifically the format_warning() (and format_warning_title()) function in phpdotnet/phd/Package/PEAR/XHTML.php.
(I've transferred the issue to the correct repository, reporting it to web-php was fine!)
Unfortunately there is a lot of different types of tags that don't render ID's from their respective xml:ids. Maybe we can investigate a generalized way to add these while letting the existing rendering methods override it.
I'm not sure if this issue is relevant php.net/manual or should I write only about php.net here
Both the
reference/event/eventbase.xml
and
language/types/float.xml
contains
xml:id
attribute in XML, but lose ids on front:https://www.php.net/manual/en/language.types.float.php#warn.float-precision
https://www.php.net/manual/en/class.eventbase.php#eventbase.object-dtor-warning
The page content has no
id
attributeThe text was updated successfully, but these errors were encountered: