[Typescript] Imports for WithWidthProps missing

[spoeck]

• [ x] This is not a v0.x issue.
• [x ] I have searched the issues of this repository and believe that this is not a duplicate.

Expected Behavior

In version 1.4.1 we imported the WithWidthProps like this:

import withWidth, { WithWidthProps } from '@material-ui/core/withWidth';

And the Components extends the WithWidthProps this way:

export namespace App {
    export interface Props extends RouteComponentProps<void>, WithStyles<typeof styles>, WithWidthProps {
        todoList: Todo[];
    }
}

const history = createBrowserHistory();

class App extends React.Component<App.Props, App.State> {

Current Behavior

The import for WithWidthProps is not working anymore in version 3.1.x.
withWidth still able to import.

Your Environment

Tech	Version
Material-UI	v3.1.1
React
Browser	Chrome
TypeScript	2.8.3
etc.

[eps1lon]

This was renamed from WithWidthProps to WithWidth in 1.5.0 (#12492).

[spoeck]

Upps.
Thanks for your fast answer.