else/Javascript/tab_renamer.js

11 lines
167 B
JavaScript
Raw Normal View History

2016-07-29 20:39:04 +00:00
javascript:
function rename()
{
2016-08-01 23:42:03 +00:00
var new_title = prompt("New page title:");
if (new_title !== null)
{
document.title = new_title;
}
2016-07-29 20:39:04 +00:00
}
rename();