[17:32:12] <f0lkert>	 I'm trying to make an xml-dump of our mediawiki using /var/lib/mediawiki/maintenance/dumpBackup.php, but I get https://paste.nurd.space/bWMkt1VJR1QD9Ef0gFNR4uXpItYJw62S1R6-iQKQG9Y instead. mediawiki 1.39.4. how to resolve this?
[17:44:57] <Reedy>	 f0lkert: Have you just tried to upgrade or something?
[17:45:04] <Reedy>	 Chances are your vendor is out of date
[17:45:29] <f0lkert>	 no because I'm afraid that will break even more
[17:49:09] <f0lkert>	 also I checked that 1.39.5 also has this problem
[18:04:05] <Reedy>	 The tarball? Something else?
[18:04:08] <Reedy>	 How are you installing it?
[18:04:10] <Reedy>	 What PHP version?
[18:04:21] <Reedy>	 Does the wiki otherwise work?
[18:08:39] <f0lkert>	 Reedy: yes, the tar file. php 8.4, the wiki runs fine otherwise. how it was installed I'm not sure, not by me
[18:09:56] <Reedy>	 There's a chance of some autoloader type bug on PHP 8.4
[18:10:25] <Reedy>	 Like, 1.39.5 is not even anywhere near the latest version of 1.39 (which is EOL)... 1.39.17 is
[18:16:08] <f0lkert>	 Reedy: hmmm, maybe I have to bite the bitter pill as we say in dutch
[18:16:26] <Reedy>	 I think English has a similar version ;)
[18:16:40] <Reedy>	 If you can use an older PHP version... 8.1/8.2, you might have more luck
[18:16:48] <Reedy>	 Or at least upgrading to the latest point release of 1.39
[18:16:49] <f0lkert>	 thanks!
[18:17:12] <Reedy>	 We spent a lot of time backporting fixes for newer PHP versions etc as we made them on master