bugzilla:43527
Have to file a bug. Mentions an obsolete (at least for MediaWiki) version of PHP. Maybe this check can be removed now.