I tend to remove it - see http://stackoverflow.com/questions/2061550/phpdoc-return-void-necessary