mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks
synced 2024-12-16 08:24:47 +00:00
e690a5b9f9
Change-Id: I8d24398e23e1c8f57183a32bcf9fdf8795e5543f
13 lines
255 B
JSON
13 lines
255 B
JSON
{
|
|
"--title": "Thanks - Documentation",
|
|
"--output": "docs",
|
|
"--processes": "0",
|
|
"--warnings-exit-nonzero": true,
|
|
"--builtin-classes": true,
|
|
"--external": "jQuery.Promise",
|
|
"--warnings": ["-nodoc(class,public)", "-global"],
|
|
"--": [
|
|
"modules"
|
|
]
|
|
}
|