From fa0c58e42a9552789b8d563f0b7fc805dfae1d96 Mon Sep 17 00:00:00 2001
From: Tim Bishop <tim@bishnet.net>
Date: Sat, 19 May 2018 00:06:05 +0100
Subject: [PATCH] Don't install require-dev packages. (#5549)

This is already set for a local composer install, but not a global
one. They should be consistent.
---
 upgrade.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/upgrade.php b/upgrade.php
index c4be286c45..3c7889b455 100644
--- a/upgrade.php
+++ b/upgrade.php
@@ -111,7 +111,7 @@ if (file_exists('composer.phar')) {
 } else {
     echo "-- We couldn't find a local composer.phar - trying globally.\n\n";
     $composer_dump = shell_exec('composer dump');
-    $composer = shell_exec('composer install --prefer-source');
+    $composer = shell_exec('composer install --no-dev --prefer-source');
 }
 
 echo $composer_dump."\n\n";