Fix editorconfig, add 7.2 to Travis, update shared

.editorconfig

@@ -4,5 +4,5 @@ root = true
 end_of_line = lf
 insert_final_newline = true
 trim_trailing_whitespace = true
-indent_style = spaces
+indent_style = space
 charset = utf-8

.travis.yml

@@ -5,6 +5,7 @@ language: php
 php:
   - 7.0
   - 7.1
+  - 7.2
   - nightly
 
 matrix:

docs/.shared

@@ -1 +1 @@
-Subproject commit 0095e72ad9de35659b450f72f600c07dc9d1d4a7
+Subproject commit 3f428686b8792627831535285e5e76747846cf66