mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-30 18:45:07 +00:00
ba38b57c83
Change-Id: Ic7d67098492558fdd6cec292afd22aaf8693a594
8 lines
79 B
JSON
8 lines
79 B
JSON
{
|
|
"root": true,
|
|
"extends": [
|
|
"wikimedia/server",
|
|
"wikimedia/jsduck"
|
|
]
|
|
}
|