Merge "Delete the post-edit cookie using the correct domain"

diff --combined resources/Resources.php
index f081868,a58cfdc..2a1be80
--- 1/resources/Resources.php
--- 2/resources/Resources.php
+++ b/resources/Resources.php
@@@ -190,10 -190,8 +190,10 @@@ return array
        /* jQuery */
  
        'jquery' => array(
 -              'scripts' => 'resources/lib/jquery/jquery.js',
 -              'debugScripts' => 'resources/lib/jquery/jquery.migrate.js',
 +              'scripts' => array(
 +                      'resources/lib/jquery/jquery.js',
 +                      'resources/lib/jquery/jquery.migrate.js',
 +              ),
                'debugRaw' => false,
                'targets' => array( 'desktop', 'mobile' ),
        ),
@@@ -996,7 -994,7 +996,7 @@@
                'scripts' => 'resources/src/mediawiki.action/mediawiki.action.view.postEdit.js',
                'styles' => 'resources/src/mediawiki.action/mediawiki.action.view.postEdit.css',
                'dependencies' => array(
-                       'jquery.cookie',
+                       'mediawiki.cookie',
                        'mediawiki.jqueryMsg'
                ),
                'messages' => array(