resources/mediawiki.action/mediawiki.action.view.postEdit.js

   1 ( function ( mw, $ ) {
   2         // Matches EditPage::POST_EDIT_COOKIE_KEY_PREFIX
   3         var cookieKey = mw.config.get( 'wgCookiePrefix' ) + 'PostEditRevision' + mw.config.get( 'wgCurRevisionId' );
   4
   5         if ( $.cookie( cookieKey ) === '1' ) {
   6                 // We just saved this page
   7                 $.cookie( cookieKey, null, { path: '/' } );
   8                 mw.config.set( 'wgPostEdit', true );
   9         }
  10 } ( mediaWiki, jQuery ) );