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

Merge "Remove ext.echo.base"

Browse source
This commit is contained in:
jenkins-bot 2019-08-01 00:24:25 +00:00 committed by Gerrit Code Review
parent 6be1eee1db 5c3e30b78a
commit 495a6c8acd
1 changed files with 0 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
extension.json
View file

@ -253,15 +253,6 @@
"mobile"
]
},
"ext.echo.base": {
"targets": [
"desktop",
"mobile"
],
"dependencies": [
"ext.echo.logger"
]
},
"ext.echo.init": {
"packageFiles": [
"ext.echo.init.js",