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

build: Upgrade mediawiki/lua-sandbox to 4.1.2

Browse source 
This includes the declaration of a class property from 7ec7813b2e
to avoid phan issue and avoids use of
dynamic properties as deprecated in php8.2

Change-Id: I192d3a6716c400487fe534809197c0d2b42a439d
This commit is contained in:
Umherirrender 2024-04-17 17:10:11 +02:00 committed by jenkins-bot
parent 8307c6b328
commit bdf882e1c9
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
composer.json
View file

@ -1,6 +1,6 @@
{ {
"require-dev": { "require-dev": {
"mediawiki/lua-sandbox": "4.0.2", "mediawiki/lua-sandbox": "4.1.2",
"mediawiki/mediawiki-codesniffer": "43.0.0", "mediawiki/mediawiki-codesniffer": "43.0.0",
"mediawiki/mediawiki-phan-config": "0.14.0", "mediawiki/mediawiki-phan-config": "0.14.0",
"mediawiki/minus-x": "1.1.1", "mediawiki/minus-x": "1.1.1",
@ -12,11 +12,11 @@
"type": "package", "type": "package",
"package": { "package": {
"name": "mediawiki/lua-sandbox", "name": "mediawiki/lua-sandbox",
"version": "4.0.2", "version": "4.1.2",
"source": { "source": {
"url": "https://gerrit.wikimedia.org/r/mediawiki/php/luasandbox.git", "url": "https://gerrit.wikimedia.org/r/mediawiki/php/luasandbox.git",
"type": "git", "type": "git",
"reference": "tags/4.0.2" "reference": "tags/4.1.2"
} }
} }
} }