Merge branch '3.4' into 4.4

javiereguiluz · javiereguiluz · commit 7fe363610c21 · 2020-04-20T10:02:25.000+02:00
* 3.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::
 
