镜像自地址
https://github.com/wikimedia/mediawiki-extensions-GuidedTour.git
已同步 2024-06-02 19:30:48 +08:00
Add phan
Change-Id: Ibc3015f00b1cf35736d3cf40a8e7b6e7dbe1bb91
这个提交包含在:
父节点
ba6ac9feba
当前提交
8306b3e38a
3
.phan/config.php
普通文件
3
.phan/config.php
普通文件
|
@ -0,0 +1,3 @@
|
|||
<?php
|
||||
|
||||
return require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
|
|
@ -3,7 +3,8 @@
|
|||
"jakub-onderka/php-parallel-lint": "1.0.0",
|
||||
"jakub-onderka/php-console-highlighter": "0.3.2",
|
||||
"mediawiki/mediawiki-codesniffer": "24.0.0",
|
||||
"mediawiki/minus-x": "0.3.1"
|
||||
"mediawiki/minus-x": "0.3.1",
|
||||
"mediawiki/mediawiki-phan-config": "0.5.0"
|
||||
},
|
||||
"scripts": {
|
||||
"fix": [
|
||||
|
|
正在加载...
在新工单中引用
屏蔽一个用户