diff options
-rw-r--r-- | engine/lib/plugins.php | 3 | ||||
-rw-r--r-- | languages/en.php | 1 |
2 files changed, 4 insertions, 0 deletions
diff --git a/engine/lib/plugins.php b/engine/lib/plugins.php index 70bfcb28b..123fb18d8 100644 --- a/engine/lib/plugins.php +++ b/engine/lib/plugins.php @@ -298,6 +298,9 @@ function elgg_load_plugins() { // temporary disable all plugins if there is a file called 'disabled' in the plugin dir if (file_exists("$plugins_path/disabled")) { + if (elgg_is_admin_logged_in() && elgg_in_context('admin')) { + system_message(elgg_echo('plugins:disabled')); + } return false; } diff --git a/languages/en.php b/languages/en.php index b34d1cc58..e44356479 100644 --- a/languages/en.php +++ b/languages/en.php @@ -665,6 +665,7 @@ $english = array( /** * Plugins */ + 'plugins:disabled' => 'Plugins are being loaded because a file named "disabled" is in the mod directory.', 'plugins:settings:save:ok' => "Settings for the %s plugin were saved successfully.", 'plugins:settings:save:fail' => "There was a problem saving settings for the %s plugin.", 'plugins:usersettings:save:ok' => "User settings for the %s plugin were saved successfully.", |