Updated mediawiki/extensions
Project: mediawiki/extensions/EtherEditor  f90b3de9042f2fd42642b31b91700881f268c822

Add a user preference to enable collaboration by default

Useful for people who know they'll be collaborating often.

Change-Id: I3acf9bc043958527461810972b318278eb9cb6c0
Bug: 39389