[PHP-DOC] Re: phpdoc /en/language variables.xml

[jeroen]

>   Log:
>   Fix missing HTML quote
>
>   (...)

> -<input type=image src="image.gif" name="sub">
> +<input type="image" src="image.gif" name="sub">

This isn't scrictly necessary, only if the value contains characters not in
[a-zA-Z0-9_].

I never use the quotes in this context... but it isn't wrong either, of
course.

Jeroen