mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/RelatedArticles
synced 2024-11-24 00:05:50 +00:00
f3f58c0666
Replacing deprecated mediawiki.ui `@borderRadius` variable with successor @border-radius-base. Former got deprecated in MW 1.35 about 2 years ago. Latter is in alignment with mediawiki.skin.variables.less standardization. It's also in accordance to Codex design tokens. Bug: T322478 Change-Id: I6f9fe0a7d98713a66e1b7e78f105817f428c636f |
||
---|---|---|
.phan | ||
i18n | ||
includes | ||
resources | ||
tests | ||
.eslintignore | ||
.eslintrc.json | ||
.gitignore | ||
.gitreview | ||
.nvmrc | ||
.phpcs.xml | ||
.stylelintignore | ||
.stylelintrc.json | ||
CODE_OF_CONDUCT.md | ||
composer.json | ||
COPYING | ||
extension.json | ||
HISTORY | ||
jest.config.js | ||
jest.setup.js | ||
package-lock.json | ||
package.json | ||
README | ||
RelatedArticles.i18n.magic.php | ||
tsconfig.json |
For information on how to install and use this extension, please see: <https://www.mediawiki.org/wiki/Extension:RelatedArticles>