Add getters in mithril controller