Extensions for the Mithril MVC framework