Rewrote some parts:

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

diff --git a/inc/extensions/ext-admintheme1.php b/inc/extensions/ext-admintheme1.php
index a2b1e1b615cd410a2c922ddb96fcdea1f4d63707..42cc2a5095eb537fcf9d9f0c83f3a6ab352e4eb6 100644 (file)
--- a/inc/extensions/ext-admintheme1.php
+++ b/inc/extensions/ext-admintheme1.php
@@ -89,7 +89,7 @@ switch (getExtensionMode()) {
                break;
 
        default: // Unknown extension mode
-               reportBug(__FILE__, __LINE__, sprintf("Unknown extension mode %s in extension %s detected.", getExtensionMode(), getCurrentExtensionName()));
+               reportBug(__FILE__, __LINE__, sprintf('Unknown extension mode %s in extension %s detected.', getExtensionMode(), getCurrentExtensionName()));
                break;
 } // END - switch