From 793ccfd1dfec6ace56f5090bbf955a487f707c0b Mon Sep 17 00:00:00 2001
From: Morris Jobke <morris.jobke@gmail.com>
Date: Thu, 17 Oct 2013 11:35:13 +0200
Subject: [PATCH] fix undefined "shipped"

---
 lib/private/app.php | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/lib/private/app.php b/lib/private/app.php
index 1a242ad968..6f45b6e6dd 100644
--- a/lib/private/app.php
+++ b/lib/private/app.php
@@ -770,12 +770,12 @@ class OC_App{
 		}
 
 		// prio 2: shipped
-		if ($a['shipped'] != $b['shipped']) {
-			$atemp = ($a['shipped'] == true ? 1 : 0);
-			$btemp = ($b['shipped'] == true ? 1 : 0);
-			return ($btemp - $atemp);
+		$ashipped = (array_key_exists('shipped', $a) && $a['shipped'] === 'true') ? 1 : 0;
+		$bshipped = (array_key_exists('shipped', $b) && $b['shipped'] === 'true') ? 1 : 0;
+		if ($ashipped !== $bshipped) {
+			return ($bshipped - $ashipped);
 		}
-       
+
 		// prio 3: recommended
 		if ($a['internalclass'] != $b['internalclass']) {
 			$atemp = ($a['internalclass'] == 'recommendedapp' ? 1 : 0);