Community Packages

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!
Tasklist

FS#61070 - [mediawiki] incompatibility to php7.3

Attached to Project: Community Packages
Opened by georg (fordprefect) - Friday, 14 December 2018, 09:10 GMT
Last edited by Sergej Pupykin (sergej) - Tuesday, 09 July 2019, 18:04 GMT
Task Type Bug Report
Category Packages
Status Closed
Assigned To Sergej Pupykin (sergej)
Architecture All
Severity Medium
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 1
Private No

Details

mediawiki<1.32 (currently in repo: 1.31.1) is not compatible to php7.3, which is in the repos already.

patching two files restores basic functionality, but other malfunctions might be hidden.
files to patch:
includes/json/FormatJson.php on line 297: continue -> continue 2
languages/LanguageConverter.php on line 773: continue -> continue 2

see upstream for tracking of compatibility: https://phabricator.wikimedia.org/T206988
This task depends upon

Closed by  Sergej Pupykin (sergej)
Tuesday, 09 July 2019, 18:04 GMT
Reason for closing:  Fixed
Additional comments about closing:  1.32 in repos
Comment by James Harvey (jamespharvey20) - Wednesday, 16 January 2019, 23:49 GMT
Is this now resolved, since on Jan 10, mediawiki 1.32.0-1 was released to the community repo? The upstream bug is still open, but it's not a bug that the current release isn't compatible with PHP 7.3. Instead, that bug is that 1.31 which is a LTS version isn't compatible with it. Since this package isn't a LTS version, that isn't Arch's concern.
Comment by georg (fordprefect) - Thursday, 17 January 2019, 08:19 GMT
Do you refer to [0]? I did not find any mention of the version concerned. Also, the php compatibility graphics in [1] does not claim compatibility of 1.32 with 7.3
-> not solved in my opinion.

[0] https://phabricator.wikimedia.org/project/profile/3494/
[1] https://www.mediawiki.org/wiki/Compatibility
Comment by James Harvey (jamespharvey20) - Thursday, 17 January 2019, 08:39 GMT
OK, from those links, it looks like it's not fully compatible still. My comment went off the phrasing of this bugreport mentioning "mediawiki<1.32" and the originally linked upstream link of https://phabricator.wikimedia.org/T206988 which is regarding "1.31.x" due to being a LTS version.
Comment by georg (fordprefect) - Thursday, 17 January 2019, 08:42 GMT
The original phrasing arose from the promise of the mediawiki guys on IRC, that 1.32 will be compatible to 7.3. Which did obviously not happen. Is there a way to update the bug report details?
Comment by Eli Schwartz (eschwartz) - Monday, 21 January 2019, 22:14 GMT
So are there any other confirmed issues with php 7.3?
Comment by georg (fordprefect) - Tuesday, 22 January 2019, 10:38 GMT
I am still seeing issues in my mediawiki, but not completely sure if they are php7.3-related. since the phabricator-job is still open, I assume it to not be resolved yet.
EDIT: folks on IRC point me to the original task (https://phabricator.wikimedia.org/T206988). It's restriction on 1.31.x does not really make sense, because you would obviously also fix this for later (supported) versions. There is currently only one open task for that bug.

Loading...