•  
      request #13525 Fix PHP warnings of the Mediawiki plugin when running with PHP 7.3

    Links from and to current artifact