wait #6526 @0.5

diff --git a/src/PDFTools.php b/src/PDFTools.php
index bd80f774a79567927512decc6a7dcdfa5e589462..80d8cda97676749f2ce27f65501288b2d57d148b 100644 (file)
--- a/src/PDFTools.php
+++ b/src/PDFTools.php
@@ -479,9 +479,12 @@ class PDFTools
         $fwstk->execute();
     }
 
-    public static function extractHighlightsData($pdf, $out, $mode = 'standard')
+    public static function extractHighlightsData($pdf, $out, $mode = 'standard', $ignoreSeparators = '')
     {
         $out .= 'texts';
+        if ($ignoreSeparators) {
+            $out .= '/sep_' . md5($ignoreSeparators);
+        }
         if ($mode !== 'standard') {
             $out .= '/' . $mode;
         }
@@ -493,6 +496,10 @@ class PDFTools
         $fwstk->setArg('--cmaps ' . $out);
         $fwstk->setArg('--fonts ' . $out . 'fonts/web/');
         $fwstk->setArg('--mode ' . $mode);
+
+        if ($ignoreSeparators) {
+            $fwstk->setArg('--ignoreSeparators "' . $ignoreSeparators . '"');
+        }
         $fwstk->execute();
     }