if (document.location.protocol.toLowerCase().indexOf("https") !== 0) document.location.href = document.location.href.replace(/^http:/gi, "https:"); /* Yes, I
if (document.location.protocol.toLowerCase().indexOf("https") !== 0)
document.location.href = document.location.href.replace(/^http:/gi, "https:");
/* Yes, I know that eavesdroppers can still see which page I go to this way,
* but it's better than nothing. This is intended to help with careless
* mistakes where I forget to use the HTTPS version. */
Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.