Do not put unused doc links to single driver compiled version

diff --git a/compile.php b/compile.php
index 0f00b779bccee65815ab12dc1643fbdafce884ee..229ba1518be6ccca1bf8f62caac71db2ace373ca 100755 (executable)
--- a/compile.php
+++ b/compile.php
@@ -403,6 +403,12 @@ if ($driver) {
                $file = str_replace('<?php echo html_select("auth[driver]", $drivers, DRIVER) . "\n"; ?>', "<input type='hidden' name='auth[driver]' value='" . ($driver == "mysql" ? "server" : $driver) . "'>" . reset($drivers), $file);
        }
        $file = preg_replace('(;../externals/jush/modules/jush-(?!textarea\.|txt\.|js\.|' . preg_quote($driver == "mysql" ? "sql" : $driver) . '\.)[^.]+.js)', '', $file);
+       $file = preg_replace_callback('~doc_link\(array\((.*)\)\)~sU', function ($match) use ($driver) {
+               list(, $links) = $match;
+               $links = preg_replace("~'(?!(" . ($driver == "mysql" ? "sql|mariadb" : $driver) . ")')[^']*' => [^,]*,?~", '', $links);
+               return (trim($links) ? "doc_link(array($links))" : "''");
+       }, $file);
+       //! strip doc_link() definition
 }
 if ($project == "editor") {
        $file = preg_replace('~;.\.\/externals/jush/jush\.css~', '', $file);