From 367d1b52a737e52ce2b5110f869caf5c2cc7f945 Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Thu, 13 Dec 2018 09:13:52 +0100
Subject: [PATCH] do not allow download of extensions

---
 op/op.ExtensionMgr.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/op/op.ExtensionMgr.php b/op/op.ExtensionMgr.php
index 55dcd0177..181bcb7ce 100644
--- a/op/op.ExtensionMgr.php
+++ b/op/op.ExtensionMgr.php
@@ -45,6 +45,8 @@ else $currenttab=NULL;
 
 // add new attribute definition ---------------------------------------------
 if ($action == "download") {
+	UI::exitError(getMLText("admin_tools"),getMLText("access_denied"));
+
 	if (!isset($_POST["extname"])) {
 		UI::exitError(getMLText("admin_tools"),getMLText("unknown_id"));
 	}