diff --git a/ext/readline/tests/bug72538.phpt b/ext/readline/tests/bug72538.phpt
index 98b9b2651e3..7de37f2e6e4 100644
--- a/ext/readline/tests/bug72538.phpt
+++ b/ext/readline/tests/bug72538.phpt
@@ -3,6 +3,7 @@ Bug #72538 (readline_redisplay crashes php)
 --SKIPIF--
 <?php if (!extension_loaded("readline")) die("skip"); 
 if (READLINE_LIB != "libedit") die("skip libedit only");
+if (!function_exists("readline_redisplay")) die("skip readline_redisplay not available");
 ?>
 --FILE--
 <?php