wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-23 15:16:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

Replace codex-search with codex module

Browse source 
Bug: T356690
Change-Id: I1b90cb8847d85a5c761db573c94bec321bbb638a
This commit is contained in:
bwang 2024-04-15 15:04:19 -05:00
parent 3cf45dd5ab
commit e6fdaf1648
1 changed files with 8 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
extension.json
View file

@ -173,6 +173,13 @@
]
},
"ext.popups.main": {
"class": "MediaWiki\\ResourceLoader\\CodexModule",
"codexStyleOnly": true,
"codexComponents": [
"CdxButton",
"CdxIcon",
"CdxCheckbox"
],
"scripts": [
"resources/dist/index.js"
],
@ -212,8 +219,7 @@
"mediawiki.Title",
"mediawiki.Uri",
"mediawiki.user",
"mediawiki.util",
"codex-search-styles"
"mediawiki.util"
]
}
},