From 6fca5db3bab21a8de3436d4d71371ca5438b6ba4 Mon Sep 17 00:00:00 2001
From: umherirrender <umherirrender_de.wp@web.de>
Date: Wed, 5 Mar 2014 19:15:07 +0100
Subject: [PATCH] Add @deprecated hint to $j

Follow-Up: I871a0906730a1038311256e3e6e8ce3a293bd9ca
Change-Id: I0d9204ea354316ca11f568c81ad38f4089c91e80
---
 resources/mediawiki/mediawiki.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/resources/mediawiki/mediawiki.js b/resources/mediawiki/mediawiki.js
index 26f84f549d..37451a48bd 100644
--- a/resources/mediawiki/mediawiki.js
+++ b/resources/mediawiki/mediawiki.js
@@ -2355,6 +2355,7 @@ var mw = ( function ( $, undefined ) {
 }( jQuery ) );
 
 // Alias $j to jQuery for backwards compatibility
+// @deprecated since 1.23 Use $ or jQuery instead
 mw.log.deprecate( window, '$j', jQuery, 'Use $ or jQuery instead.' );
 
 // Attach to window and globally alias
-- 
2.20.1