document.location.href as a matter of fact should be window.location.href, right?
I saw document.location.href in some 3rd party codes, such as tinymce etc. my questions are
should I replace document.location.href with window.location.href in these 3rd party codes to make it matching with the standard? Or leave document.location.href there, it won't be deprecated before window.location.href?
There is no reason, that if I replace replace document.location.href with window.location.href, the 3rd party codes won't work, right?
