Would any great person of karma like to commit a small patch that will allow lazy^H^H^H^Hhard working phpdoc helpers to more easily stop bad notes before they hit the mirrors?
Below, I've attached a patch against php-master-web/manage/user-notes.php.
Comitted.
Goba
