(dashboards, widgets) change plugin file extension

This commit is contained in:
Ad Schellevis 2016-05-03 11:03:04 +02:00
parent 7d286b231d
commit 74ebbbbe98
2 changed files with 2 additions and 2 deletions

View File

@ -60,8 +60,8 @@ $result['plugins'] = array();
$result['data'] = array();
// probe plugins
foreach (glob(__DIR__."/plugins/*.php") as $filename) {
$pluginName = basename($filename, '.php');
foreach (glob(__DIR__."/plugins/*.inc") as $filename) {
$pluginName = basename($filename, '.inc');
$result['plugins'][] = $pluginName;
if (in_array($pluginName, $loadPluginsList)) {
require $filename;