config.php partly solved, see #117

[mailer.git] / inc / extensions.php

diff --git a/inc/extensions.php b/inc/extensions.php
index d6c49ad67cf0eae33893234dbfae21fe3d0dfa00..58f22fd02851b776555ab1b8b9c8eb2d69d27b9d 100644 (file)
--- a/inc/extensions.php
+++ b/inc/extensions.php
@@ -1237,7 +1237,7 @@ function EXT_GET_REMOVAL_LIST () {
 }
 
 // Redirects if the provided extension is not installed
-function REDIRECT_ON_UNINSTALLED_EXTENSION ($ext_name) {
+function redirectOnUninstalledExtension ($ext_name) {
        // So is the extension there?
        if (!EXT_IS_ACTIVE($ext_name)) {
                // Redirect to index