Add @deprecated hint to $j

Follow-Up: I871a0906730a1038311256e3e6e8ce3a293bd9ca
Change-Id: I0d9204ea354316ca11f568c81ad38f4089c91e80

diff --git a/resources/mediawiki/mediawiki.js b/resources/mediawiki/mediawiki.js
index 26f84f5..37451a4 100644 (file)
--- 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