wikimedia/mediawiki-extensions-RelatedArticles
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RelatedArticles synced 2024-11-27 17:50:25 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Relate.../resources
History
Fomafix 00405b0309 Remove mediaWiki and jQuery from eslint globals 
Remove all mappings in the closures like in
I7cf2426cde597259e8c6f3f6f615a1a81a0ca82b in core.

Change-Id: Ie9a2fadb8e276774784a4937bb5c3ec11f213352
2018-09-15 17:54:03 +00:00
..
ext.relatedArticles.cards Remove mediaWiki and jQuery from eslint globals 2018-09-15 17:54:03 +00:00
ext.relatedArticles.lib/CSS.escape Migrate Cards code to RelatedArticles 2017-06-07 08:35:53 -07:00
ext.relatedArticles.readMore Remove mediaWiki and jQuery from eslint globals 2018-09-15 17:54:03 +00:00
ext.relatedArticles.readMore.bootstrap Remove mediaWiki and jQuery from eslint globals 2018-09-15 17:54:03 +00:00
ext.relatedArticles.readMore.eventLogging Remove mediaWiki and jQuery from eslint globals 2018-09-15 17:54:03 +00:00
ext.relatedArticles.readMore.gateway Remove mediaWiki and jQuery from eslint globals 2018-09-15 17:54:03 +00:00
mediawiki.template.muhogan Remove mediaWiki and jQuery from eslint globals 2018-09-15 17:54:03 +00:00