An interactive console for WordPress developers