diff --git a/composer.json b/composer.json
index 83debce47e..f459a8c187 100644
--- a/composer.json
+++ b/composer.json
@@ -43,6 +43,7 @@
         "ext-xml": "*",
         "ext-pcre": "*",
         "ext-json": "*",
+        "ext-ctype": "*",
         "phpmyadmin/sql-parser": "^4.2",
         "phpmyadmin/motranslator": "^3.0",
         "phpmyadmin/shapefile": "^2.0",
diff --git a/doc/require.rst b/doc/require.rst
index 0de03a5728..8f6cf62f16 100644
--- a/doc/require.rst
+++ b/doc/require.rst
@@ -13,7 +13,7 @@ PHP
 ---
 
 * You need PHP 5.5.0 or newer, with ``session`` support, the Standard PHP Library
-  (SPL) extension, and JSON support.
+  (SPL) extension, ctype, and JSON support.
 
 * The ``mbstring`` extension (see :term:`mbstring`) is strongly recommended
   for performance reasons.