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

Merge "Drop targets from ext.echo.ui.desktop"

Browse source
This commit is contained in:
jenkins-bot 2023-04-11 20:44:18 +00:00 committed by Gerrit Code Review
parent af9131df86 e3965f1c42
commit 1c3ab2dc12
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
extension.json
View file

@ -131,9 +131,6 @@
"ext.echo.styles.badge", "ext.echo.styles.badge",
"mediawiki.util", "mediawiki.util",
"mediawiki.api" "mediawiki.api"
],
"targets": [
"desktop"
] ]
}, },
"ext.echo.ui": { "ext.echo.ui": {