PHP function - mysqli_release_savepoint