PetalRouter: define router for web application with single page