Browse Source

Add redirection from http to https

pull/389/head
Jerome Wu 6 years ago
parent
commit
d58b778d0b
  1. 7
      index.html

7
index.html

@ -5,6 +5,11 @@
<title>Tesseract.js | Pure Javascript OCR for 62 Languages!</title> <title>Tesseract.js | Pure Javascript OCR for 62 Languages!</title>
<link rel="stylesheet" type="text/css" href="css/main.css"> <link rel="stylesheet" type="text/css" href="css/main.css">
<link href='https://fonts.googleapis.com/css?family=Lato:300,400' rel='stylesheet' type='text/css'> <link href='https://fonts.googleapis.com/css?family=Lato:300,400' rel='stylesheet' type='text/css'>
<script>
if (location.protocol === "http:" && !location.host.startsWith('localhost')) {
location.replace("https" + window.location.href.slice(4));
}
</script>
</head> </head>
<body ondragover="return false"> <body ondragover="return false">
@ -92,7 +97,7 @@
<script> <script>
(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){ (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o), (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m) m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
})(window,document,'script','https://www.google-analytics.com/analytics.js','ga'); })(window,document,'script','https://www.google-analytics.com/analytics.js','ga');
ga('create', 'UA-83153710-3', 'auto', 'origin'); ga('create', 'UA-83153710-3', 'auto', 'origin');

Loading…
Cancel
Save