uninstall.php: phpdoc