diff --git a/html/inc/result.inc b/html/inc/result.inc
index 8353037169..7d1c228a69 100644
--- a/html/inc/result.inc
+++ b/html/inc/result.inc
@@ -22,6 +22,8 @@ require_once("../inc/common_defs.inc");
 
 // used by app_version_string(), see below
 //
+global $apps;
+global $app_versions;
 $apps = array();
 $app_versions = array();
 $platforms = array();