User talk:Rhavkin

BackToTopButton
What do you mean with incorporate? As "add it to the wiki global scripts"? If you are asking if it can be done, then yes, as you can see on the script page, it can be used sitewide. So if you want to request it, talk to the admins and if they agree, one of them can add it to MediaWiki:ImportJS. Simply add the line  to the list of imports.

Single users can add it to their personal global JS. If you want to make it available for everybody, even the casual readers, then we simply add it to MediaWiki:ImportJS. I was inactive for a very long time, so I'm no position to tell you if any decision/discussion was taken about it. If you get the ok from the admins, I can add it if they don't do that themselves. So best to ask them first, I guess.

I saw the admins gave their ok, therefore I went ahead and added it.

Oh, actually I forgot we were missing someone, but since it's still a majority I guess it's fine. By the "modern button" you mean the variant noted on the script page?

re:js
I have no objection. 09:01, March 14, 2020 (UTC)

I guess it's fine. 13:47, March 14, 2020 (UTC)

Re:js
I have no problem with it. Go ahead. 23:00, March 15, 2020 (UTC)