On 11 December 2013 04:14, Levi Morrison <le...@php.net> wrote: > I was looking at the HTML output from a Docbook `varname` tag and it seems > to be to render nested `var` tags in all of the cases I could find. > Example: > > <varname>$_SERVER['REQUEST_TIME']</varname> > > renders as: > > <var class="varname"><var class="varname"><a > href="reserved.variables.server.php" > class="classname">$_SERVER['REQUEST_TIME']</a></var></var> > > Is there a particular reason for this? Seems like a bug more likely. >
It's a bug. Create a report and if you're feeling like diving into phd, it should be relatively simple to fix.