[17:27:26] <gromit>	 Reedy: do I see this right that there are currently no tags for the new mediawiki versions? 
[17:27:59] <Reedy>	 gromit: As the email says ;)
[17:28:22] <Reedy>	 >The tarballs have already been uploaded as of this email, and the git tags will be pushed shortly.
[17:28:33] <Reedy>	 most of them are through CI, so tags should be in the next 30 mins
[17:28:43] <gromit>	 Reedy: shortly is one of these things that go from minutes to days x) 
[17:29:40] <Reedy>	 It usually doesn't that long between ;)
[17:30:24] <Reedy>	 the 1.42 one needed a bit of handling
[17:34:14] <Lcawte>	 Just to confirm, 1.42 goes EOL in June, not 1.43?
[17:34:40] <Reedy>	 Have I typoed?
[17:34:59] <Reedy>	 ffs, yeah
[17:35:10] <Reedy>	 >MediaWiki 1.43 becomes EOL in June 2025.
[17:35:10] <Reedy>	 >It is strongly recommended to upgrade as appropriate to either 1.42, which will be supported until June 2025, or ideally to 1.43 (the next LTS after 1.39), which will be supported until December 2027.
[17:35:11] <Reedy>	 gj
[17:52:36] <Reedy>	 gromit: tags pushed
[17:52:45] <gromit>	 Reedy: thanks! 
[17:52:53] <Reedy>	 ~90 mins of the email to get everything through CI isn't bad ;)
[17:54:33] <taylan>	 anyone have an alternative to the SyntaxHighlightThemes extension, which doesn't seem to get updates? specifically for dark-themed wikis...
[17:59:54] <taavi>	 SyntaxHighlight ships a dark theme by default these days I think