diff --git a/docweb/main.ent b/docweb/main.ent index e810ecbe9d..e8f70c1b6e 100644 --- a/docweb/main.ent +++ b/docweb/main.ent @@ -16,6 +16,7 @@ + PHP @@ -50,6 +51,7 @@ navigation'> +