docs: void processXmlMediawiki() throws XMLStreamException, MwDumpFormatException {
  
  		while (this.xmlReader.hasNext()) {
  			switch (this.xmlReader.getEventType()) {
  
  			case XMLStreamConstants.START_ELEMENT:
  				switch (this.xmlReader.getLocalName()) {
  				case MwRevisionDumpFileProcessor.E_MEDIAWIKI:
  					break;
  				case MwRevisionDumpFileProcessor.E_SITEINFO:
  					processXmlSiteinfo();
  					this.mwRevisionProcessor.startRevisionProcessing(
  							this.sitename, this.baseUrl, this.namespaces);
  					break;
  				case MwRevisionDumpFileProcessor.E_PAGE:
  					tryProcessXmlPage();
  					break;
  				}
  				break;
  
  			case XMLStreamConstants.END_ELEMENT:
  				if (!"mediawiki".equals(this.xmlReader.getLocalName())) {
  					throw new MwDumpFormatException("Unexpected end element </"
  							+ this.xmlReader.getLocalName() + ">.");
  				}
  				break;
  
  			}
  
  			this.xmlReader.next();
  		}
  	}