(PHP 5 <= 5.0.5)
mysqli_server_end — Shut down the embedded server
Deze functie is op het moment niet gedocumenteerd, alleen de lijst met argumenten is beschikbaar.