mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-11-23 23:24:39 +00:00
07d76da27e
Change-Id: If49922acd1d8af9caac54ed46360ff6c780833ce
6 lines
88 B
JSON
6 lines
88 B
JSON
{
|
|
"--title": "Hovercards - Documentation",
|
|
"--output": "docs",
|
|
"--": ["resources"]
|
|
}
|