Admin menu has now a JavaScript "effect":

[mailer.git] / inc / extensions / ext-admins.php

diff --git a/inc/extensions/ext-admins.php b/inc/extensions/ext-admins.php
index 81b2234b82c13225e877a2f373db61128664dcbd..e07e75766d0272a727cfccb4e5ed1e900e63605e 100644 (file)
--- a/inc/extensions/ext-admins.php
+++ b/inc/extensions/ext-admins.php
@@ -316,7 +316,7 @@ INDEX (`admin_id`)",
                                addExtensionSql("ALTER TABLE `{?_MYSQL_PREFIX?}_admins` ADD `expert_warning` ENUM('Y','N') NOT NULL DEFAULT 'Y'");
 
                                // Update notes (these will be set as task text!)
-                               setExtensionUpdateNotes("Experten-Einstellungen sind nun hinzugekommen.");
+                               setExtensionUpdateNotes("Entwicklereinstellungen sind nun hinzugekommen.");
                                break;
 
                        case '0.7.4': // SQL queries for v0.7.4