Rewrote some parts:

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

diff --git a/inc/extensions/ext-repair.php b/inc/extensions/ext-repair.php
index f6db9308850ccc571ba3b14d59d57c9b143d32fa..33c225cfd38f35f9e46615c3c4b824658184094a 100644 (file)
--- a/inc/extensions/ext-repair.php
+++ b/inc/extensions/ext-repair.php
@@ -139,7 +139,7 @@ switch (getExtensionMode()) {
                break;
 
        default: // Unknown extension mode
                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
 
                break;
 } // END - switch