$router implicitly defined in routes.php