what about mysql provider? did we stop using it?