(bug 43270) Add wgPostEdit to show if user just saved this page
authorMatthew Flaschen <mflaschen@wikimedia.org>
Sat, 23 Feb 2013 10:35:22 +0000 (05:35 -0500)
committerMatthew Flaschen <mflaschen@wikimedia.org>
Mon, 25 Feb 2013 21:32:21 +0000 (16:32 -0500)
commit375687eddb95b159f99f1826eeb6a8a6713bb10b
tree06042f62b908f89aab73e1809e5f6fdbc84f3450
parent3f4e273a7b3d0f1611e2a3552fdeb283256b3bfb
(bug 43270) Add wgPostEdit to show if user just saved this page

* Sets short-lived cookie in EditPage
* Adds JS module, 'mediawiki.action.view.postEdit', to all views to
  convert cookie to wgPostEdit.  This avoids caching the variable in the
  HTML.
* Based in part on PostEdit extension

Change-Id: Ie89507f8e98c365df9d93a7633223103b9025790
includes/Article.php
includes/EditPage.php
resources/Resources.php
resources/mediawiki.action/mediawiki.action.view.postEdit.js [new file with mode: 0644]