From 8cec8a54742082392c938115e1b7d28acc2e9059 Mon Sep 17 00:00:00 2001
From: Andreas Gohr <andi@splitbrain.org>
Date: Wed, 5 Jul 2017 19:46:43 +0200
Subject: [PATCH] clean extension names. fixes #2042
This makes sure the provided extension ID is a valid id before
initializing it in the extension manager.
---
lib/plugins/extension/helper/extension.php | 1 +
1 file changed, 1 insertion(+)
diff --git a/lib/plugins/extension/helper/extension.php b/lib/plugins/extension/helper/extension.php
index 1f2c1af83..339cc1bc6 100644
--- a/lib/plugins/extension/helper/extension.php
+++ b/lib/plugins/extension/helper/extension.php
@@ -51,6 +51,7 @@ class helper_plugin_extension_extension extends DokuWiki_Plugin {
* @return bool If some (local or remote) data was found
*/
public function setExtension($id) {
+ $id = cleanID($id);
$this->id = $id;
$this->base = $id;
--
GitLab