SECURITY: resources: Patch jQuery 3.3.1 for CVE-2019-11358
[lhc/web/wiklou.git] / resources / src / mediawiki.page.patrol.ajax.js
index d8fb249..27d9e55 100644 (file)
@@ -5,7 +5,7 @@
  * @since 1.21
  * @author Marius Hoch <hoo@online.de>
  */
-( function ( mw, $ ) {
+( function () {
        if ( !mw.user.tokens.exists( 'patrolToken' ) ) {
                // Current user has no patrol right, or an old cached version of user.tokens
                // that didn't have patrolToken yet.
@@ -61,4 +61,4 @@
                        e.preventDefault();
                } );
        } );
-}( mediaWiki, jQuery ) );
+}() );