made a copy

diff --git a/documentation/index.php b/documentation/index.php
index ee704c8..38bd0a6 100644 (file)
--- a/documentation/index.php
+++ b/documentation/index.php
@@ -90,7 +90,7 @@ function hide() {
 
 <?php 
 if (isset($_GET['p'])) {
-       $body = html_entities($_GET['p']);
+       $body = htmlentities($_GET['p']);
 } else {
        $body = 'introduction.php';
 }