fix doc
authorJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Mon, 13 Feb 2012 19:13:30 +0000 (19:13 +0000)
committerJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Mon, 13 Feb 2012 19:13:30 +0000 (19:13 +0000)
commitabfdd0b617fca604c5a11eb3cd50b01884b47ce5
tree9cfc33a5c27c0468980a5709571bcb85891f9019
parenta5e4919a0747ba0404d1401091fcfba0247e10a0
fix doc
includes/Revision.php
includes/WikiPage.php