「MediaWiki:Common.js」の版間の差分

編集の要約なし
編集の要約なし
編集の要約なし
115行目: 115行目:
   jQuery(function($){
   jQuery(function($){


if (typeof($.proxy) == 'undefined') {
if (typeof($.proxy) != 'undefined') {
   $.prototype.proxy = function(fn, thisObject) {
   $.prototype.proxy = function(fn, thisObject) {
     return function() {
     return function() {