Make destination URL of a page save configurable
authorEbrahim Byagowi <ebrahim@gnu.org>
Wed, 27 Jan 2016 23:31:31 +0000 (23:31 +0000)
committerBartosz Dziewoński <matma.rex@gmail.com>
Thu, 18 Feb 2016 14:15:12 +0000 (14:15 +0000)
commit0cdd5c506357ef5ca7d44213248fe16751218998
tree52c55fffdf54fd981bff619b229af3f6408ffd82
parentaeb7882171fec30d3e7c7bb9caecc32cd3faebbf
Make destination URL of a page save configurable

With this, if a gadget put a hidden input named "wpExtraQueryRedirect",
can guide MediaWiki to keep that extra query parameter even after the
save of the page.

Bug: T124986
Change-Id: Ie45d6d80e83298e4c349f1e2dedd4eaa66b7697a
includes/EditPage.php