Yahoo loses key mysql developer