remove concurrency resource per revert. follow up r108600

diff --git a/resources/Resources.php b/resources/Resources.php
index 2f73f24..667d5ca 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -112,9 +112,6 @@ return array(
        'jquery.colorUtil' => array(
                'scripts' => 'resources/jquery/jquery.colorUtil.js',
        ),
-       'jquery.concurrency' => array(
-               'scripts' => 'resources/jquery/jquery.concurrency.js',
-       ),
        'jquery.cookie' => array(
                'scripts' => 'resources/jquery/jquery.cookie.js',
        ),

diff --git a/resources/jquery/jquery.concurrency.js b/resources/jquery/jquery.concurrency.js
deleted file mode 100644 (file)
index fec95e5..0000000
--- a/resources/jquery/jquery.concurrency.js
+++ /dev/null
@@ -1,42 +0,0 @@
-/**
- * Base jQuery plugin for Concurrency 
- *
- * @author Rob Moen
- */
-
-(function ( $ ) {
-       $.concurrency = {
-               /* 
-                * Checkin our checkout an object via API
-                * @param ccaction: checkout, checkin
-                * @param resourcetype: extension specific type (string)
-                * @param record: resource id (int) 
-                * @param callback: function to handle response 
-                */
-               check: function( params, callback ) {
-                       params = $.extend({
-                               action: 'concurrency',
-                               token: mw.user.tokens.get( 'editToken' ),
-                               format: 'json'
-                       }, params);
-                               
-                       return $.ajax( {
-                               type: 'POST',
-                               url: mw.util.wikiScript( 'api' ),
-                               data: params,
-                               success: function( data ){
-                                       if ( typeof callback == 'function' ){
-                                               callback(data); 
-                                       }
-                               },
-                               error: function( data ){
-                                       if ( typeof callback == 'function' ){
-                                               callback(data); 
-                                       }
-                               },
-                               dataType: 'json'
-                       } );
-               }
-       };      
-
-})( jQuery );
\ No newline at end of file