Board Thread:Support Requests - Getting Technical/@comment-2060498-20190215205151

The wiki I admin has always used Source Editor for its templates. I've only been editing for a few years, but I assume the change to Visual Editor happened before I started editing (2015) and said wiki never took the time to update templates to fit Visual Editor (maybe they never figured out how due to some custom coding we might have?).

When I started editing, Visual Editor could never load for me, so I started learning how to edit in Source Editor, and it was simple enough. We have this rule on our wiki that we prefer people use Source Editor because using Visual messes with the source code, and since all of our main editors use Source Editor, it gets really annoying whenever we have to fix a random edit by a random user.

While the above is annoying, it didn't happen often. It was a dismissible mistake. However, within the past year, we've gotten a new editor who actually helps us out a lot whenever we miss little updates. Unfortunately, they use Visual Editor, so it messes with a lot of pages. We've tried contacting them via their message wall, but they never respond (I've noticed this happen often with random users. They either ignore the message or don't even know the message exists). The other admins and I have considered giving him a short ban just to get his intention (obviously we don't want to get rid of him, but how else are we supposed to get his attention?), but figured it would be more reasonable to set the default editor on this wiki to Source Editor. I brought this up to the wiki's bureaucrat back when I was a regular user and he told me it was against wiki policy so I was wondering:

1) If it is against wiki policy, or simply frowned upon?, and

2) If it is possible to change the default, how would I do so? 