Merge branch '4.4' into 5.0

javiereguiluz · javiereguiluz · commit 6975d131cdb2 · 2020-04-20T10:02:43.000+02:00
* 4.4:
  Update symfony_server.rst
diff --git a/setup/symfony_server.rst b/setup/symfony_server.rst
@@ -110,10 +110,10 @@ root directory:
     $ cd my-project/
 
     # use a specific PHP version
-    $ echo "7.2" > .php-version
+    $ echo 7.2 > .php-version
 
     # use any PHP 7.x version available
-    $ echo "7" > .php-version
+    $ echo 7 > .php-version
 
 .. tip::
 
