diff --git a/manual/documentation2.php b/manual/documentation2.php index ef7970538..c998ea17a 100644 --- a/manual/documentation2.php +++ b/manual/documentation2.php @@ -85,7 +85,8 @@ class DocTool if (substr($c, 0, 5) == "') !== false || - strpos($c, '