mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-09-25 03:09:14 +00:00
18 lines
213 B
JSON
18 lines
213 B
JSON
|
{
|
||
|
|
"source": {
|
||
|
|
"include": [
|
||
|
|
"src/"
|
||
|
|
]
|
||
|
|
},
|
||
|
|
"opts": {
|
||
|
|
"destination": "docs/",
|
||
|
|
"recurse": true
|
||
|
|
},
|
||
|
|
"plugins": [
|
||
|
|
"plugins/markdown"
|
||
|
|
],
|
||
|
|
"tags": {
|
||
|
|
"allowUnknownTags": false
|
||
|
|
}
|
||
|
|
}
|