wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-17 18:30:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

icons: Support OOUI icons from editing-core bundle

Browse source 
Bug: T328288
Change-Id: Id3d3e447056316c01b240006905344543737cf27
This commit is contained in:
Kosta Harlan 2023-03-06 15:11:04 +01:00
parent 6c9cb30ccd
commit b2778d144c
No known key found for this signature in database
GPG key ID: BC3D8915606A5ED9
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
extension.json
View file

@ -207,7 +207,8 @@
"oojs-ui.styles.icons-content",
"oojs-ui.styles.icons-interactions",
"oojs-ui.styles.icons-moderation",
"oojs-ui.styles.icons-movement"
"oojs-ui.styles.icons-movement",
"oojs-ui.styles.icons-editing-core"
],
"messages": [
"echo-badge-count",