[MediaWiki-l] Re: update.php failed for mediawiki-1.38.0

2022-06-05 Thread Benjamin Lees
The initialization of $wgExtensionDirectory changed in 1.38: https://github.com/wikimedia/mediawiki/commit/f5641f9856b27c1b88bdbb5456d59f394c37d2e3 I don't think that should be a problem, though, unless you're using $wgExtensionDirectory to define another path in LocalSettings.php. What happens

[MediaWiki-l] Re: update.php failed for mediawiki-1.38.0

2022-06-05 Thread Stefanie Leisestreichler
No, not setting $wgExtensionDirectory. Extensions all are loaded with pattern like wfLoadExtension( 'Cite' ); . I updated this installalation a few days ago from 1.36.0 to 1.36.2 without having any issues. The bug suddenly appears when updating from 1.36.2 to 1.38.0. On 04.06.22 08:51,