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
 	 *