From 0f68c010944c614cf92063e20ff36e0d57b2b51c Mon Sep 17 00:00:00 2001
From: David Zuelke <dzuelke@gmail.com>
Date: Fri, 30 Sep 2016 23:08:26 +0200
Subject: [PATCH] add php-debug virtual platform package

---
 src/Composer/Repository/PlatformRepository.php | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/Composer/Repository/PlatformRepository.php b/src/Composer/Repository/PlatformRepository.php
index 03544554d..42b864773 100644
--- a/src/Composer/Repository/PlatformRepository.php
+++ b/src/Composer/Repository/PlatformRepository.php
@@ -81,6 +81,12 @@ class PlatformRepository extends ArrayRepository
         $php->setDescription('The PHP interpreter');
         $this->addPackage($php);
 
+        if (PHP_DEBUG) {
+            $phpdebug = new CompletePackage('php-debug', $version, $prettyVersion);
+            $phpdebug->setDescription('The PHP interpreter, with debugging symbols');
+            $this->addPackage($phpdebug);
+        }
+
         if (PHP_INT_SIZE === 8) {
             $php64 = new CompletePackage('php-64bit', $version, $prettyVersion);
             $php64->setDescription('The PHP interpreter, 64bit');