wikimedia/mediawiki-extensions-RelatedArticles
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RelatedArticles synced 2024-12-18 19:10:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
503 commits 14 branches 19 tags 15 MiB
Commit graph

2 commits

Author SHA1 Message Date
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
jdlrobson 6dee0147f4 Migrate Cards code to RelatedArticles 
* Move across all files
* Rename ext-card- prefix to ext-related-articles- prefix
** Since all code using these prefixes is JS
  we do not have to worry about cached HTML

Bug: T137021
Change-Id: I784fd132c36329fa0dcc49fe2804460061940347
 2017-06-07 08:35:53 -07:00