Merge branch '5.1'

Author: sebastianbergmann

.gitattributes

@@ -1,6 +1,7 @@
 /.github        export-ignore
 /.phive         export-ignore
 /.psalm         export-ignore
+/build          export-ignore
 /.gitattributes export-ignore
 /.gitignore     export-ignore
 /.php-cs-fixer.dist.php   export-ignore