wikimedia/mediawiki-extensions-RelatedArticles
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RelatedArticles synced 2024-09-23 18:30:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Relate.../resources
History
jenkins-bot 9a11bcee04 Merge "Replace deprecated @borderRadius var with successor @border-radius-base"
2022-11-09 18:21:42 +00:00
..
ext.relatedArticles.readMore Merge "Replace deprecated @borderRadius var with successor @border-radius-base" 2022-11-09 18:21:42 +00:00
ext.relatedArticles.readMore.bootstrap Add TypeScript support 2022-04-27 19:11:10 +00:00
ext.relatedArticles.styles.less Fix loading of related articles via IntersectionObserver 2021-11-04 12:30:11 -07:00
mw.ts Add TypeScript support 2022-04-27 19:11:10 +00:00