Author: dunc_harris
Description:
Non admins don't need the option in [[special:preferences]] to "Add all pages I
delete to my watchlist", as they cannot delete pages, so it should be hidden to
avoid confusing them.
Version: unspecified
Severity: enhancement