Stalling until it's actually released.

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

Which wiki is it? If it's not a WMF one, do you see anything in browser console or server logs?

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.

Note that the extension itself also needs to compile with PHP 8.

The above patch doesn't resolve this ticket however it removes a lot of dead code, making achieving PHP8 compatibility easier.

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.

What, again? :P It was in the core at some point, was moved back because only MF used it anyway.

\m/

Nope, I don't work for WMF anymore. Ping @ifried and @aezell for prioritization.

Examples of what needs to be fixed?

In T253461#6162104, @Daimona wrote:

However, I fear that if we remove the PHPCS rule, people may start using the operator even when unnecessary, e.g. when accessing array offsets

The tool was long-dead, I've disabled it completely.

In T243056#6112939, @Dzahn wrote:

@Legoktm Here you go: https://static-codereview.wikimedia.org/

Mhm, maybe put it in a subdomain of mediawiki.org?

My bisecting indicates that the cause is https://github.com/php/php-src/commit/5161cebe28cca36fa7f7989b5a799290a3f1eb6a

PHP 8.0 is not gonna be released anytime soon (late 2021, probably)

I think we should at least try to use Travis' php-nightly to be ready for new PHP's coming.

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.

Yeah, time to pull the trigger.

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

Never mind, mixed up tools and VPS projects.