diff --git a/docs/search.php.code.in b/docs/search.php.code.in
index c7511c3782..3c66f94ca5 100644
--- a/docs/search.php.code.in
+++ b/docs/search.php.code.in
@@ -12,7 +12,7 @@
     $querystr = htmlspecialchars($query, ENT_QUOTES, 'UTF-8');
 ?>
 
-<form action="<?php echo $_SERVER['PHP_SELF'], "?query=", rawurlencode($query) ?>"
+<form action="<?php echo htmlspecialchars($_SERVER['PHP_SELF'], ENT_QUOTES, 'UTF-8'), "?query=", rawurlencode($query) ?>"
       enctype="application/x-www-form-urlencoded" method="get">
   <input name="query" type="text" size="50" value="<?php echo $querystr ?>"/>
   <select name="scope">