From 4be5afcef861abf7b1040d65fbaa80f5e28ac61a Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Sat, 15 Nov 2025 11:26:31 +0100
Subject: [PATCH] add method setRepositoryUrl()

---
 inc/inc.ClassExtensionMgr.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/inc/inc.ClassExtensionMgr.php b/inc/inc.ClassExtensionMgr.php
index 02019044b..455f480a6 100644
--- a/inc/inc.ClassExtensionMgr.php
+++ b/inc/inc.ClassExtensionMgr.php
@@ -179,6 +179,10 @@ class ExtensionMgr {
 		return $this->cachedir."/extensions.php";
 	} /* }}} */
 
+	public function setRepositoryUrl($reposurl) { /* {{{ */
+		$this->reposurl = $reposurl;
+	} /* }}} */
+
 	/**
 	 * Get the configuration of extensions
 	 *