Better report this instead of silent logging

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

diff --git a/inc/extensions/ext-repair.php b/inc/extensions/ext-repair.php
index 996391f8ef33af7367d9e971a33dff77f1b652a4..2524832af8cfe7de2e9894ce8de5fff9cb3f27af 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
-               logDebugMessage(__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