[PHP-WEBMASTER] Docbook tag varname rendering.

[Levi Morrison]

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.