2019-01-04 01:30:48 +03:00
|
|
|
<!DOCTYPE html>
|
|
|
|
<html>
|
|
|
|
<head>
|
2019-01-10 21:51:14 +03:00
|
|
|
<meta charset="utf-8" />
|
|
|
|
<title>Redux DevTools</title>
|
2019-01-04 01:30:48 +03:00
|
|
|
<style>
|
|
|
|
html {
|
|
|
|
min-width: 350px;
|
|
|
|
min-height: 300px;
|
|
|
|
}
|
|
|
|
body {
|
|
|
|
position: fixed;
|
|
|
|
overflow: hidden;
|
|
|
|
height: 100%;
|
|
|
|
width: 100%;
|
|
|
|
margin: 0;
|
|
|
|
padding: 0;
|
|
|
|
}
|
|
|
|
#root {
|
|
|
|
height: 100%;
|
|
|
|
}
|
|
|
|
#root > div {
|
|
|
|
height: 100%;
|
|
|
|
}
|
|
|
|
</style>
|
|
|
|
</head>
|
|
|
|
<body>
|
|
|
|
<div id="root"></div>
|
2019-01-04 22:44:48 +03:00
|
|
|
<script src="/react.production.min.js"></script>
|
|
|
|
<script src="/react-dom.production.min.js"></script>
|
|
|
|
<script src="/redux-devtools-core.min.js"></script>
|
|
|
|
<script src="/port.js"></script>
|
2019-01-04 01:30:48 +03:00
|
|
|
<script>
|
|
|
|
ReactDOM.render(
|
2019-01-04 22:44:48 +03:00
|
|
|
React.createElement(ReduxDevTools, {
|
|
|
|
socketOptions: {
|
|
|
|
hostname: location.hostname,
|
|
|
|
port: reduxDevToolsPort,
|
2020-08-08 23:26:39 +03:00
|
|
|
autoReconnect: true,
|
|
|
|
},
|
2019-01-04 01:30:48 +03:00
|
|
|
}),
|
|
|
|
document.querySelector('#root')
|
|
|
|
);
|
|
|
|
</script>
|
|
|
|
</body>
|
|
|
|
</html>
|