From 50637b5e68f3dc591f1ef0711b2d00ef76d00ecf Mon Sep 17 00:00:00 2001
From: Christoph Michael Becker <cmb@php.net>
Date: Sat, 14 Mar 2020 15:29:32 +0000
Subject: [PATCH] mysqli_embedded_server_(start|end) are removed as of PHP
 7.4.0

git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@349424 c90b9560-bf6c-de11-be94-00142212c4b1
---
 reference/mysqli/versions.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/reference/mysqli/versions.xml b/reference/mysqli/versions.xml
index 29dfa1d356..57e2e7943b 100644
--- a/reference/mysqli/versions.xml
+++ b/reference/mysqli/versions.xml
@@ -33,8 +33,8 @@
  <function name="mysqli_driver_embedded_server_start" from="PHP 5, PHP 7"/>
  <function name="mysqli_dump_debug_info" from="PHP 5, PHP 7"/>
  <function name="mysqli_embedded_connect" from="PHP 5 &lt; 5.1.0"/>
- <function name="mysqli_embedded_server_end" from="PHP 5 &gt;= 5.1.0, PHP 7"/>
- <function name="mysqli_embedded_server_start" from="PHP 5 &gt;= 5.1.0, PHP 7"/>
+ <function name="mysqli_embedded_server_end" from="PHP 5 &gt;= 5.1.0, PHP 7 &lt; 7.4.0"/>
+ <function name="mysqli_embedded_server_start" from="PHP 5 &gt;= 5.1.0, PHP 7 &lt; 7.4.0"/>
  <function name="mysqli_enable_reads_from_master" from="PHP 5 &lt; 5.3.0"/>
  <function name="mysqli_enable_rpl_parse" from="PHP 5 &lt; 5.3.0"/>
  <function name="mysqli_errno" from="PHP 5, PHP 7"/>