diff --git a/html/inc/result.inc b/html/inc/result.inc
index 7d1c228a69..5267046c27 100644
--- a/html/inc/result.inc
+++ b/html/inc/result.inc
@@ -24,6 +24,7 @@ require_once("../inc/common_defs.inc");
 //
 global $apps;
 global $app_versions;
+global $platforms;
 $apps = array();
 $app_versions = array();
 $platforms = array();