Added type definitions for $controller and $controllerProvider.