Mehdi Achour wrote: > What was wrong with <void /> ? I'm one of those who always change > <type>void</type> to <void/>, is it a silly thing to do ?
http://doc.php.net/php/dochowto/chapter-conventions.php : If a function requires no arguments, use <void/> ... If a function has an undefined return-value, use the word void. Jakub Vrana
