diff --git a/docs/scripts/generate_web.php b/docs/scripts/generate_web.php index 1f29bd3e..49edfb3e 100755 --- a/docs/scripts/generate_web.php +++ b/docs/scripts/generate_web.php @@ -21,6 +21,7 @@ $Id$ */ +ini_set('pcre.backtrack_limit', 150000); // Default is 100000, available since PHP 5.2.0 set_time_limit(0); $search = array(