Merge "Avoid stupid mariadb filesort in findMissingFiles.php"