Perioperative total intravenous anesthesia in a child with Walker-Warburg syndrome: A case report