mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks
synced 2024-11-15 19:09:52 +00:00
a23a878953
Change-Id: Iecc96b34c2a3bdecdd6d90b4e5d9b76f12604386
6 lines
66 B
Plaintext
6 lines
66 B
Plaintext
{
|
|
"preset": "wikimedia",
|
|
|
|
"disallowDanglingUnderscores": null
|
|
}
|