From 571363dee267f7ccdc8a8c3331fca8d5ddb0821f Mon Sep 17 00:00:00 2001
From: Joakim Israelsson <joakim.israelsson.86@gmail.com>
Date: Wed, 14 May 2014 20:31:42 +0200
Subject: [PATCH] The config setting 'platform' is used to override platform
 packages.

Like suggested in #1522.

These overridden packages appear only during install/update and not
when running init, show and search commands.
I don't know if they should or not.
---
 src/Composer/Config.php    | 1 +
 src/Composer/Installer.php | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/Composer/Config.php b/src/Composer/Config.php
index 89f535725..53314611f 100644
--- a/src/Composer/Config.php
+++ b/src/Composer/Config.php
@@ -39,6 +39,7 @@ class Config
         'optimize-autoloader' => false,
         'prepend-autoloader' => true,
         'github-domains' => array('github.com'),
+        'platform' => array(),
     );
 
     public static $defaultRepositories = array(
diff --git a/src/Composer/Installer.php b/src/Composer/Installer.php
index 03e6beb92..079a5a6e5 100644
--- a/src/Composer/Installer.php
+++ b/src/Composer/Installer.php
@@ -196,7 +196,7 @@ class Installer
 
         // create installed repo, this contains all local packages + platform packages (php & extensions)
         $localRepo = $this->repositoryManager->getLocalRepository();
-        $platformRepo = new PlatformRepository();
+        $platformRepo = new PlatformRepository($this->config->get('platform'));
         $repos = array(
             $localRepo,
             new InstalledArrayRepository(array($installedRootPackage)),