docs: List<String> findDumpDatesOnline(DumpContentType dumpContentType) {
  		List<String> result = new ArrayList<>();
  		try (InputStream in = this.webResourceFetcher
  				.getInputStreamForUrl(WmfDumpFile.getDumpFileWebDirectory(
  						dumpContentType, this.projectName))) {
  
  			BufferedReader bufferedReader = new BufferedReader(
  					new InputStreamReader(in, StandardCharsets.UTF_8));
  			String inputLine;
  			while ((inputLine = bufferedReader.readLine()) != null) {
  				String dateStamp = "";
  				if (inputLine.startsWith("<tr><td class=\"n\">")) {
  					// old format of HTML file lists
  					dateStamp = inputLine.substring(27, 35);
  				} else if (inputLine.startsWith("<a href=")) {
  					// new Jan 2015 of HTML file lists
  					dateStamp = inputLine.substring(9, 17);
  				}
  				if (dateStamp.matches(WmfDumpFileManager.DATE_STAMP_PATTERN)) {
  					result.add(dateStamp);
  				}
  			}
  			bufferedReader.close();
  		} catch (IOException e) {
  			logger.error("Failed to fetch available dump dates online.");
  		}
  
  		result.sort(Collections.reverseOrder());
  		return result;
  	}