#361 Ratings not deleted when page is deleted

[Dan F]

When a page is deleted, any associated ratings should
also be deleted.

I accomplished this in my version of Phpwiki by adding
the following line to
WikiDB/backend/PearDB.php:delete_page():

        $dbh->query("DELETE FROM $rating_tbl

WHERE raterpage=$id or rateep
age=$id");

Maybe there should be a theme-specific hook or
something. Not sure.

[Reini Urban]

Logged In: YES
user_id=13755

yes, there should be one.
Either a hook (which name?) or a WikiDB override.