Mithril.jsの名前を変更します。