Index: trunk/extensions/WikimediaMobile/MobileRedirect.js |
— | — | @@ -17,7 +17,7 @@ |
18 | 18 | var mainPage = wgMainPageTitle.replace(/ /g, '_'); |
19 | 19 | var url = 'http://' + wgContentLanguage + ".m.wikipedia.org/"; |
20 | 20 | if (wgPageName != mainPage) { |
21 | | - url += "wiki/" + encodeURIComponent(wgPageName).replace('%2F','/').replace('%3A',':'); |
| 21 | + url += "wiki/" + encodeURI(wgPageName); |
22 | 22 | } |
23 | 23 | return url; |
24 | 24 | } |