Patch to Drush 8.x to solve incompatibility with Symfony 3.1 (see https://github.com/drush-ops/drush/issues/2474)

update-DrushInputAdapter-for-Symfony-3_1.patch

diff --git a/lib/Drush/Command/DrushInputAdapter.php b/lib/Drush/Command/DrushInputAdapter.php
index 29126f1..686555d 100644
--- a/lib/Drush/Command/DrushInputAdapter.php
+++ b/lib/Drush/Command/DrushInputAdapter.php
@@ -58,7 +58,7 @@ class DrushInputAdapter implements InputInterface {
     /**
      * {@inheritdoc}
      */
-    public function hasParameterOption($values)
+    public function hasParameterOption($values, $onlyParams = false)
     {
         $values = (array) $values;
 
@@ -74,7 +74,7 @@ class DrushInputAdapter implements InputInterface {
     /**
      *  {@inheritdoc}
      */
-    public function getParameterOption($values, $default = false)
+    public function getParameterOption($values, $default = false, $onlyParams = false)
     {
         $values = (array) $values;