Rasmus Lerdorf wrote:
> Yeah, I guess that should be inside filename tags.

what about an entity for php.ini?

&php.ini; is shorter than <filename>php.ini</filename>,
less typing and imho more readable, and we have enough
references to php.ini all over the place to justify an
entity ...

-- 
Hartmut Holzgraefe  [EMAIL PROTECTED]  http://www.six.de  +49-711-99091-77

Wir stellen für Sie aus auf der CeBIT 2002 und freuen uns
in Halle 6 auf Ihren Besuch am Stand H 18

Reply via email to