mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-11-23 23:24:39 +00:00
0fd18bb233
Change-Id: I9853fde20dcd316d43f28b906bc501ca6329d138
5 lines
56 B
JSON
5 lines
56 B
JSON
{
|
|
"root": true,
|
|
"extends": "wikimedia/language/es6"
|
|
}
|