Documentation for page_props getter in ParserOutput
authorThiemo Mättig <thiemo.maettig@wikimedia.de>
Wed, 16 Apr 2014 14:13:46 +0000 (16:13 +0200)
committerThiemo Mättig <thiemo.maettig@wikimedia.de>
Mon, 2 Jun 2014 21:30:03 +0000 (23:30 +0200)
commit544a83533002b3640f12a32d30ce50898de45499
tree8d6324b70c8db4705d3e396fe2aa8cb906676a11
parent072e30f674a10a9575186dd7b38b9a2dc75695c0
Documentation for page_props getter in ParserOutput

I would love to make this getter return null instead of false,
similar to getExtensionData() in the same class. A property that's
not set should be null. Not a boolean. This makes it impossible to
have boolean properties. But I can't change this because it's used
in extensions with "!== false" and such.

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