(PHP 5 <= 5.0.5)
mysqli_server_end — Shut down the embedded server
This function is currently not documented; only the argument list is available.