mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-14 10:04:52 +00:00
aa9eb95455
Change the media search widget to work with resource queues and providers. Create providers based on the user's filerepo settings and aggregate their responses with the media queue. Stop asking for more results from providers that are depleted. Also fixes a rather nasty infinite-loop bug where the API returns only very few images, and the UI keeps asking for more. Bug: T78161 Bug: T88764 Change-Id: I65aed3446cd1f056476c56e6e04522c70e49e595
38 lines
485 B
JSON
38 lines
485 B
JSON
[
|
|
{
|
|
"name": "VisualEditor (MediaWiki extension)",
|
|
"groups": [
|
|
{
|
|
"name": "Initialization",
|
|
"classes": [
|
|
"ve.init.mw*",
|
|
"ve.version"
|
|
]
|
|
},
|
|
{
|
|
"name": "User Interface",
|
|
"classes": [
|
|
"ve.ui.MW*Page"
|
|
]
|
|
},
|
|
{
|
|
"name": "Data Model",
|
|
"classes": [
|
|
"ve.dm.MWMediaResource*"
|
|
]
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"name": "Upstream (MediaWiki)",
|
|
"groups": [
|
|
{
|
|
"name": "MediaWiki",
|
|
"classes": [
|
|
"mw.Title"
|
|
]
|
|
}
|
|
]
|
|
}
|
|
]
|