protected Revision[] deletedRevs(String u, String title, Calendar start, Calendar end, boolean reverse, int namespace)
throws IOException, CredentialNotFoundException
{
// admin queries are annoying
if (!user.isAllowedTo("deletedhistory"))
throw new CredentialNotFoundException("Permission denied: not able to view deleted history");
StringBuilder url = new StringBuilder(query);
url.append("list=deletedrevs&drprop=revid%7Cparentid%7Clen%7Cminor%7Ccomment%7Cuser&drlimit=max");
if (reverse)
url.append("&drdir=newer");