User Details
- User Since
- Oct 6 2014, 9:37 PM (493 w, 15 h)
- Availability
- Available
- LDAP User
- Unknown
- MediaWiki User
- MaxSem [ Global Accounts ]
Nov 3 2023
Oct 17 2023
Oct 4 2023
May 25 2023
Jun 3 2022
May 21 2022
May 20 2022
Nov 24 2021
Aug 29 2021
Aug 28 2021
Aug 27 2021
Aug 23 2021
Stalling until it's actually released.
Aug 7 2021
Fun times: I've enabled all gadgets (note that I'm an admin on en:, so I might have more gadgets available than some people). Console looks glorious on main page:
On https://en.wikipedia.org/wiki/Main_Page when logged in: JQMIGRATE: jQuery(window).on('load'...) called after load event occurred from https://en.wikipedia.org/w/load.php?lang=en&modules=jquery%7Cjquery.ui&skin=vector&version=qrx5w
On https://en.wikipedia.org/wiki/Nightwish in incognito mode: JQMIGRATE: jQuery.fn.unbind is deprecated from https://en.wikipedia.org/w/load.php?lang=en&modules=ext.tmh.OgvJsSupport%7Cjquery%7Cjquery.embedPlayer%2CmwEmbedUtil%2CtriggerQueueCallback%7Cmw.EmbedPlayer.loader%7Cmw.MediaWikiPlayer.loader%7Cmw.MwEmbedSupport%2CPopUpMediaTransform%7Cmw.MwEmbedSupport.style%7Cmw.PopUpMediaTransform.styles%7Cmw.TMHGalleryHook.js%7Cmw.TimedText.loader&skin=vector&version=ziqr5
May 2 2021
Which wiki is it? If it's not a WMF one, do you see anything in browser console or server logs?
Mar 21 2021
Jan 11 2021
Jan 10 2021
Jan 8 2021
Dec 27 2020
Dec 8 2020
Meh, I was too concentrated on WMF prod.
Adding PHP 8 compat was a no-op for earlier versions. Is there anything else that needs to be released? Otherwise, I'd not bother.
Dec 7 2020
Note that the extension itself also needs to compile with PHP 8.
Dec 2 2020
Nov 29 2020
The above patch doesn't resolve this ticket however it removes a lot of dead code, making achieving PHP8 compatibility easier.
Nov 20 2020
Yes it is - in the sense that if pre 7.4 a null result of array access was accepted by your code, now there's a warning.
Oct 30 2020
Sep 21 2020
What, again? :P It was in the core at some point, was moved back because only MF used it anyway.
Aug 18 2020
Aug 9 2020
Aug 6 2020
\m/
Jul 3 2020
Jun 25 2020
Examples of what needs to be fixed?
May 26 2020
May 25 2020
May 20 2020
The tool was long-dead, I've disabled it completely.
May 7 2020
May 6 2020
Apr 28 2020
Mhm, maybe put it in a subdomain of mediawiki.org?
Apr 22 2020
My bisecting indicates that the cause is https://github.com/php/php-src/commit/5161cebe28cca36fa7f7989b5a799290a3f1eb6a
Mar 30 2020
Mar 28 2020
PHP 8.0 is not gonna be released anytime soon (late 2021, probably)
Mar 19 2020
I think we should at least try to use Travis' php-nightly to be ready for new PHP's coming.
Mar 18 2020
Mar 17 2020
Feb 27 2020
Your stats are wrong if they think it was more than 2 years since I've deployed:) And I'm not in the deployers group anymore either. Anyway, I was under the impressionthat my account was reenabled to keep me in the WMF-NDA LDAP group, as requested in T238960.
Jan 23 2020
Yeah, time to pull the trigger.
Jan 21 2020
Current status:
- The migration commit now passes without warnings.
- There are still some uses of deprecated stuff left across the codebase, we need to push mediawiki-codesniffer 29.0.0 to more extensions (why didn't Libraryupgrader do it?)
- For Wikibase, we need T243296: Release a new version of WikibaseCodeSniffer
Jan 20 2020
Jan 17 2020
Jan 16 2020
Jan 15 2020
Never mind, mixed up tools and VPS projects.