There is a "delete this page" function in the PHP wikipedia, for "privileged" users only. As I anticipate this to be a problem for some "normal" users, as demonstrated here, I added an automatic log page to that function ([[Log:Page Deletions]]). Every permanent page deletion via that function will be recorder there, with date and user name, and will show on the "Recent Changes" page.
I demonstrated it at http://wikipedia.sourceforge.net/fpw/wiki.phtml?title=special:RecentChanges with the old "Feature Requests" page, for those who'd like an example.
The log page cannot be edited by *anyone* via the web interface. Of course, I cannot prevent the direct edit of the database.
Now that feature addition is the kind I like!
I still think documentation is crucial, but I hope you can understand why I don't feel welcome to contribute to anything regarding Wikipedia any more, at least publicly.
If possible, you might want to set up a bugzilla.
yours, The Cunctator cunctator@kband.com