PHPDoc, unused code