fix ignoretags -- the "ignore-tags" option was never actually used, making it possible to ignore critical tags
fix ignoretags -- the "ignore-tags" option was never
actually used, making it possible to ignore critical
tags


git-svn-id: 3df18483b0f6b7c2235802b89c8537ca8976b4f5@200915 c90b9560-bf6c-de11-be94-00142212c4b1

pear/PhpDocumentor,pear/PhpDocumentor,pear/PhpDocumentor,pear/PhpDocumentor