2016-11-18 21:16:43 +00:00
|
|
|
{
|
2018-12-18 02:54:51 +00:00
|
|
|
"root": true,
|
2018-11-27 22:48:32 +00:00
|
|
|
"extends": [
|
2022-02-07 16:30:24 +00:00
|
|
|
"wikimedia/server",
|
2024-04-30 14:21:54 +00:00
|
|
|
"wikimedia/jsdoc"
|
2022-02-07 16:30:24 +00:00
|
|
|
]
|
2016-11-18 21:16:43 +00:00
|
|
|
}
|