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 'ext.echo.controller' module into 'ext.echo.ui'

Browse source 
This is not used anywhere else and doesn't appear to be something
that is intended to be usable or loadable as its own entry point.

The name 'ext.echo.ui' could be improved to better reflect the
bundle purpose it represents, but thats a breaking change for a
separate commit at the discretion of the maintainers' preferences.

Change-Id: If9cf287917a51de96a36d534b7c0cfadf1accf9a
This commit is contained in:
Timo Tijhof 2019-03-19 19:48:39 +00:00 committed by Krinkle
parent dbc7b24a8e
commit 3f83f2eb36
1 changed files with 4 additions and 15 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
extension.json
View file

@ -91,6 +91,7 @@
},
"ext.echo.ui": {
"scripts": [
"controller/mw.echo.Controller.js",
"ui/mw.echo.ui.js",
"ui/mw.echo.ui.SortedListWidget.js",
"ui/mw.echo.ui.SubGroupListWidget.js",
@ -137,10 +138,12 @@
]
},
"dependencies": [
"ext.echo.api",
"ext.echo.dm",
"ext.echo.logger",
"ext.echo.styles.notifications",
"ext.echo.controller",
"ext.echo.secondaryicons",
"oojs",
"oojs-ui-core",
"oojs-ui-widgets",
"moment",
@ -256,20 +259,6 @@
"mobile"
]
},
"ext.echo.controller": {
"scripts": [
"controller/mw.echo.Controller.js"
],
"dependencies": [
"oojs",
"ext.echo.api",
"ext.echo.dm"
],
"targets": [
"desktop",
"mobile"
]
},
"ext.echo.base": {
"targets": [
"desktop",