Public Git Hosting - mediawiki.git/commit

commit	e84937043cc49015221801c95cc1a1dbf3fe3be0
author	Matthew Flaschen <mflaschen@wikimedia.org>
	Fri, 7 Jun 2013 23:29:20 +0000 (7 19:29 -0400)
committer	MaxSem <maxsem.wiki@gmail.com>
	Sat, 8 Jun 2013 10:53:45 +0000 (8 10:53 +0000)
tree	92f4bdeb94f3a213ff8d7a17d71b119f89a6ef81	tree \| snapshot (tar.gz zip)
parent	a1f1ccee356e329e79be1b380214c84c0f389063	commit \| diff

Fix XmlTypeCheck docs

Change-Id: Ia6a394a0dd4fc74c2c2435e48104df367a6b714a