Daniel Friesen 0b6b78d13a It should not be possible for a RequestContext's WikiPage and Title to be different. ... Looks like someone messed with RequestContext when I wasn't looking at it. WikiPage is a representation of the Title. It should not be possible for wikipage to point to a different title than the context's title. Fix this issue by unsetting WikiPage when setting title and updating title when setting wikipage. Change-Id: I40471b12d08763cb1b47b8382f96d8db94b4f319		2012-10-24 08:17:27 -07:00
..
ContextSource.php	Remove a bunch of trailing spaces and unneeded newlines	2012-10-10 20:14:40 +02:00
DerivativeContext.php	Update docs for return and exception info	2012-10-09 09:41:58 +00:00
IContextSource.php
RequestContext.php	It should not be possible for a RequestContext's WikiPage and Title to be different.	2012-10-24 08:17:27 -07:00