Hello, phpdoc@lists.php.net I forgot - what do we do with duplicate bugs if main bug is closed? These are marked bogus by default.
for example: http://bugs.php.net/bug.php?id=30708 - main bug closed these are bogus: http://bugs.php.net/bug.php?id=33262 http://bugs.php.net/bug.php?id=29862 Should one work on bogus entries or leave them for some purpose? Can they be closed, reviewed to be suspended or asked to be retested against latest manual version to finally get one of the three status "no feedback", "won't fix" or "closed" ? t -- --[ http://wiki.phpdoc.info/DocLinks ]--