@aequasi after discussion with the phpdoc guys, that is not true anymore since years AFAIK.