simple php port of [mithril.js](https://github.com/lhorie/mithril.js)