wait #5331 @0:10

diff --git a/inc/ws/Util/html5/master/class.ws.html5.compiler.php b/inc/ws/Util/html5/master/class.ws.html5.compiler.php
index cb45b9d06cd893a6b44e832dcf3d7b2e8401a8f2..a7470f5cbdfd4098df3d2e4cdc476d9118140d94 100644 (file)
--- a/inc/ws/Util/html5/master/class.ws.html5.compiler.php
+++ b/inc/ws/Util/html5/master/class.ws.html5.compiler.php
@@ -1876,6 +1876,9 @@ height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
             $this->config->pdfName = 'document.pdf';
         }
         $this->config->pdfName = CubeIT_Text::removeAccents($this->config->pdfName);
+        if (mb_strtolower(substr($this->config->pdfName, -4)) !== '.pdf') {
+            $this->config->pdfName .= '.pdf';
+        }
 
         if ($res !== false) {
             $this->vdir->copy($res, 'data/' . $this->config->pdfName);