此网站需要 JavaScript。
探索
帮助
注册
登录
Mirror
/
mediawiki-extensions-ContactPage
关注
2
点赞
0
派生
0
你已经派生过 mediawiki-extensions-ContactPage
镜像自地址
https://github.com/wikimedia/mediawiki-extensions-ContactPage
已同步
2024-05-30 14:42:35 +08:00
代码
工单
软件包
项目
版本发布
百科
动态
master
mediawiki-extensions-Contac...
/
.eslintrc.json
7 行
57 B
JSON
原始文件
永久链接
普通视图
文件历史
Unescape
Escape
Replace jshint with eslint Bug: T195542 Change-Id: I8e8d9f2e4917c9f412128c4ea19a55add8724d4f
2019-12-08 00:01:25 +08:00
{
"root"
:
true
,
"extends"
:
[
build: Update linters Change-Id: Ifebf6249a7b1b2bc909f9944895dfe680e7e1397
2023-10-20 18:14:48 +08:00
"wikimedia/server"
build: Updating mediawiki/mediawiki-codesniffer to 32.0.0 Additional changes: * Dropped .inc files from .phpcs.xml (T200956). * Added the `wikimedia/mediawiki` profile in .eslintrc.json (T262222). * Removed globals `mw`, `OO`, included via `wikimedia/mediawiki` profile (T262222). * Dropped the emtpy global definition in .eslintrc.json. Change-Id: I8fe4669cd8c22db32d81cbcf350057e61ce9591e
2020-10-29 16:46:32 +08:00
]
Replace jshint with eslint Bug: T195542 Change-Id: I8e8d9f2e4917c9f412128c4ea19a55add8724d4f
2019-12-08 00:01:25 +08:00
}
在新工单中引用
复制永久链接