From dd17a1bbd70f2cd44b307ec73f82b06604264451 Mon Sep 17 00:00:00 2001
From: Jordi Boggiano <j.boggiano@seld.be>
Date: Fri, 27 Apr 2012 21:24:07 +0200
Subject: [PATCH] Force platform packages to remain installed

---
 src/Composer/Installer.php | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/Composer/Installer.php b/src/Composer/Installer.php
index f27f687b8..772c7bc3c 100644
--- a/src/Composer/Installer.php
+++ b/src/Composer/Installer.php
@@ -259,9 +259,11 @@ class Installer
             }
         }
 
-        // fix the version all installed packages that are not in the current local repo to prevent rogue updates
+        // fix the version of all installed packages (+ platform) that are not
+        // in the current local repo to prevent rogue updates (e.g. non-dev
+        // updating when in dev)
         foreach ($installedRepo->getPackages() as $package) {
-            if ($package->getRepository() === $localRepo || $package->getRepository() instanceof PlatformRepository) {
+            if ($package->getRepository() === $localRepo) {
                 continue;
             }