Delete the post-edit cookie using the correct domain
authorSam Smith <git@samsmith.io>
Mon, 31 Mar 2014 14:21:19 +0000 (15:21 +0100)
committerMatthew Flaschen <mflaschen@wikimedia.org>
Thu, 15 May 2014 06:41:33 +0000 (02:41 -0400)
commit61129f8cdc877aefe2a995fb05efa213c77ae90c
tree879a7faa58c1bf5fd1a42e026f41f070e8693280
parent93afb008c2d64deb0b49d877b834cd4eef8a2a65
Delete the post-edit cookie using the correct domain

Use the mediawiki.cookie#set to delete the post-edit cookie so that the
correct domain is used.

Bug: 61979
Change-Id: I0cba8d1421f359ff78f3f994af358e9997f27041
includes/EditPage.php
resources/Resources.php
resources/src/mediawiki.action/mediawiki.action.view.postEdit.js