Update project mithril to v0.1.25
Merge pull request #2536 from jsdelivrbot/mithril/v0.1.25

Update project mithril to v0.1.25