Added typehint
authorjeroendedauw <jeroendedauw@gmail.com>
Fri, 25 Jan 2013 15:58:24 +0000 (16:58 +0100)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 25 Jan 2013 20:29:10 +0000 (20:29 +0000)
commit515724200956ef34bca722ac4fcdccb6f92e109a
treee197a136728f659460348ebce861723c40d9716f
parent4caadaf6647b502d639ae5bcde4661cdcb6b6ded
Added typehint

Change-Id: Ic71419e72f8cf0a12d9ea1be84fd0fcd838337d9
includes/parser/ParserOutput.php