From 518d3e48051ed1faf77799913711cc50206ad5be Mon Sep 17 00:00:00 2001
From: John Kirk <john@civifirst.com>
Date: Sat, 22 Oct 2016 23:30:27 +0000
Subject: [PATCH] Prevented warning for array index if extension files deleted.

---
 CRM/Admin/Page/Extensions.php | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/CRM/Admin/Page/Extensions.php b/CRM/Admin/Page/Extensions.php
index 363f35bd7a..8abf943cc1 100644
--- a/CRM/Admin/Page/Extensions.php
+++ b/CRM/Admin/Page/Extensions.php
@@ -255,8 +255,10 @@ class CRM_Admin_Page_Extensions extends CRM_Core_Page_Basic {
         $row['id']
       );
       if (isset($localExtensionRows[$info->key])) {
-        if (version_compare($localExtensionRows[$info->key]['version'], $info->version, '<')) {
-          $row['is_upgradeable'] = TRUE;
+        if (array_key_exists('version', $localExtensionRows[$info->key])) {
+          if (version_compare($localExtensionRows[$info->key]['version'], $info->version, '<')) {
+            $row['is_upgradeable'] = TRUE;
+          }
         }
       }
       $remoteExtensionRows[$row['id']] = $row;
-- 
2.25.1