wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-24 00:05:00 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update mediawiki/minus-x to 1.1.0

Browse source 
This also lets us remove .minus-x.json, as it now recognizes all three
executables as such under all supported versions of PHP (7.2 to 7.4).

Change-Id: I3eeaf778af9df56ef3783b6f30767397add312f4
This commit is contained in:
Brad Jorsch 2020-03-17 11:54:02 -04:00
parent 724c38c892
commit 9030ab0265
2 changed files with 1 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
.minus-x.json
View file

@ -1,7 +0,0 @@
{
"ignore": [
"./includes/engines/LuaStandalone/binaries/lua5_1_5_mac_lion_fat_generic/lua",
"./includes/engines/LuaStandalone/binaries/lua5_1_5_linux_64_generic/lua",
"./includes/engines/LuaStandalone/binaries/lua5_1_5_linux_32_generic/lua"
]
}

2
composer.json
View file

@ -3,7 +3,7 @@
"jakub-onderka/php-parallel-lint": "1.0.0",
"mediawiki/mediawiki-codesniffer": "29.0.0",
"mediawiki/lua-sandbox": "3.0.1",
"mediawiki/minus-x": "1.0.0",
"mediawiki/minus-x": "1.1.0",
"jakub-onderka/php-console-highlighter": "0.4.0",
"mediawiki/mediawiki-phan-config": "0.9.1"
},