Robin Appelman 4b940955dd merge master into filesystem 12 jaren geleden
..
provider 38371d1275 Merge branch 'master' into filesystem 12 jaren geleden
provider.php 3829460ab8 adding space between) and { 12 jaren geleden
result.php afadf93d31 Checkstyle: many fixes 12 jaren geleden