Admin of this website and also the coolest kid in school.
I wonder, if I edit a page with @everyone, does the wiki bot @everyone?
Edit: Nope :(
But can I ping specific people? @bad_boot#9194
Edit: Nope
testing fixes on ios discord links