Rewrote some parts:

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

diff --git a/inc/extensions/ext-booking.php b/inc/extensions/ext-booking.php
index 34f73f99fe99e44116e01edf999a9e424cea2c92..4abbcde976875ce5d1c6c8cce07342c1bd2509f8 100644 (file)
--- a/inc/extensions/ext-booking.php
+++ b/inc/extensions/ext-booking.php
@@ -122,7 +122,7 @@ INDEX (`userid`)",
                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