Content deleted Content added
quick and dirty user script |
format in es5 |
||
Line 3:
* A user script that redirects accidental navigation to 404's ending in a slash (say, Foo/) to the normal page (Foo)
*/
$(function() {
if (pageName.endsWith('/') && document.querySelector('#p-namespaces .selected.new')) {
window.___location.href = url;
}
}
|