diff options
| -rw-r--r-- | inc/plugincontroller.class.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/inc/plugincontroller.class.php b/inc/plugincontroller.class.php index 21f73f4cb..0d3080250 100644 --- a/inc/plugincontroller.class.php +++ b/inc/plugincontroller.class.php @@ -156,6 +156,9 @@ class Doku_Plugin_Controller { } else { $all_plugins[$plugin] = 1; } + if ($all_plugins[$plugin] == 1 && preg_match('/^[a-z0-9]+$/', $plugin) !== 1) { + msg(sprintf("Plugin name '%s' is not a valid plugin name, only the characters a-z and 0-9 are allowed.", hsc($plugin)), -1); + } } $this->tmp_plugins = $all_plugins; if (!file_exists($this->last_local_config_file)) { |