Check $wgAjaxEditStash before using cached edits.
authordaniel <daniel.kinzler@wikimedia.de>
Fri, 9 Jan 2015 14:18:14 +0000 (14:18 +0000)
committerOri.livneh <ori@wikimedia.org>
Fri, 9 Jan 2015 18:40:24 +0000 (18:40 +0000)
commit213c71b55e8f670137f57eaa1486b4b36d5b2a49
tree49e25047df01bfd504df9001de6736f8e95b4f6d
parent364ed8c1beb336e81c6e5534bd433dce801071f5
Check $wgAjaxEditStash before using cached edits.

Without this, stale data from the cache may still be used
even after $wgAjaxEditStash was disabled.

This is important mainly during testing, when a reliable way
to toggle stashing is needed to investigate issues that may
be related to the stashing mechanism.

Change-Id: Ib9ff68b43763e3857d1a28e34b48439d78c1ed5c
includes/page/WikiPage.php