/** * Helper: Redirect to the given url. * * @param $url */ function url($url) { return Redirect::url($url); }