[00:58:34] <sudoman>	 is anyone else getting an "PHP Fatal error: Uncaught Error: Call to undefined method User::isRegistered()" error with mw 1.31.11? https://dpaste.org/a3Zy
[00:59:02] <sudoman>	 i just updated two wikis, by applying a patch between 1.31.6 and 1.31.11, and the patches applied cleanly
[00:59:18] <sudoman>	 this message shows up when viewing user or user talk pages, which appear blank
[00:59:22] <DannyS712>	 yes, being fixed now
[00:59:26] <sudoman>	 okay, thanks
[00:59:43] <sudoman>	 thanks for all the work you do : )
[00:59:55] <DannyS712>	 Reedy ^ is legoktm's patch https://gerrit.wikimedia.org/r/c/mediawiki/core/+/650315 - does that warrant tagging and releasing a new version?
[01:00:16] <legoktm>	 DannyS712: yes, it's happening
[01:00:21] <DannyS712>	 okay, thanks
[08:35:23] <enterprisey>	 Silly idea: add mw.hook("foo").promise(), which returns a Promise that resolves the next time the hook fires (or immediately, if it's already been fired)
[08:35:56] <enterprisey>	 Easy way to create dependencies between user scripts, so that the importScript deprecation can go a tad bit quicker
[08:50:56] <tgr_>	 enterprisey: hooks fire multiple times, promises only resolve once. It would probably confuse people.
[08:51:07] <enterprisey>	 probably, yeah
[08:52:07] <enterprisey>	 maybe just a way to get a promise that resolves when a script loads in?
[08:57:22] <DannyS712>	 mw.loader.getScript() might be what you're looking for? - https://www.mediawiki.org/wiki/ResourceLoader/Core_modules#mw.loader
[09:04:58] <enterprisey>	 DannyS712: yeah, I should've been more clear: I imagine part of the issues with moving away from importScript is people may have depended on its synchronous nature to ensure dependencies are loaded first
[09:05:23] <enterprisey>	 so, we'd have to provide a way to only run a script if another script has been loaded, or more generally address the dependency issue
[09:05:49] <enterprisey>	 (not totally necessary, I suppose, but still, would be a nice feature)
[20:32:28] <legoktm>	 I wonder whether the reason importScript hasn't been widely replaced is because there's no corresponding shorthand that just takes a wiki page as the name
[20:34:11] <duritong>	 1.35.1 is not showing up on the index here: https://releases.wikimedia.org/mediawiki/1.35/ while the direct download works https://releases.wikimedia.org/mediawiki/1.35/mediawiki-1.35.1.tar.gz
[20:37:44] <Majavah>	 duritong: I see it just fine
[20:39:43] <James_F>	 duritong: Might be cached; should sort itself out in a few hours' time./
[20:43:05] <duritong>	 James_F: ok, thanks
[20:43:43] <Vulpix>	 duritong: you can force a fresh version adding some random query string. Example: https://releases.wikimedia.org/mediawiki/1.35/?asda
[20:44:10] <duritong>	 https://share.riseup.net/#JhUd1xmSuQVDdFYmbGZ77A <- just showing what I see, I believe you with the cache :)
[20:44:34] <Vulpix>	 I also got a cached version
[20:44:59] <duritong>	 Vulpix: that helps, maybe I add the randum query in my CI pipeline
[20:45:44] <duritong>	 (which might not be what you want ;) )
[20:46:40] <Vulpix>	 Just to be sure, it should be random on every request, not the *same* random string on every request
[20:47:13] <legoktm>	 ^
[20:47:30] <legoktm>	 and bypassing the cache on the index page really isn't that big of a deal
[20:49:11] <duritong>	 Vulpix: yeah I do cat /dev/urandom | tr -dc 'a-zA-Z0-9' | ...
[20:49:44] <Vulpix>	 Adding a simple timestamp should work too
[20:49:49] <duritong>	 sure