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