maelzx a319fa8d47 Fix window.location mistakes in previous code ...

Sorry guys, I commit the incomplete code. It should be window.location.assign(url);

However this is just tested in google chrome.

2013-02-28 11:26:42 +08:00

..

versions.js

Fix window.location mistakes in previous code

2013-02-28 11:26:42 +08:00