[01:12:08] <Reedy>	 >3) Mediawiki does not work for PHP 8.0 (why not? They are lazy idiots)
[01:12:14] <Reedy>	 https://www.mediawiki.org/w/index.php?title=Topic:Vyyjqug4pjpns61v&action=history
[01:12:35] <Reedy>	 I wonder if we should just delete that thread
[01:38:32] <ori>	 is MediaWiki compatible with PHP 8 yet?
[01:39:34] <Reedy>	 Not quite
[01:39:45] <Reedy>	 https://phabricator.wikimedia.org/tag/php_8.0_support/
[01:44:14] <Reedy>	 ori: There's almost certainly other stuff too
[01:57:35] <bd808>	 Reedy: I deleted that thread. If is was a logged in account I might have asked them to remove the harassment from their rant, but anon cowards can get lost.
[01:57:53] <Reedy>	 <£
[01:57:55] <Reedy>	 <3
[01:59:32] <Reedy>	 The funny thing too... Wanting to run PHP 8 via XAMPP on Windows 10 and we're the idiots?
[02:23:29] <ori>	 lazy idiots
[02:30:22] <Reedy>	 heh