Thread:Rappy 4187/@comment-24014422-20170904172741/@comment-24014422-20170904173329

But, it was for replacing the "Ajax" keywork for "Refresh the page", and add a tooltip that says "Automatically refresh the page".

So, I don't think I added any redundant setting to the page. These settings were just to make it easier for users to know its function.