Update editor.user.js
Update editor.user.js
AstroCB/Stack-Exchange-Editor-Toolkit,Tiny-Giant/Stack-Exchange-Editor-Toolkit,AstroCB/Stack-Exchange-Editor-Toolkit,AstroCB/Stack-Exchange-Editor-Toolkit,nwinkler/Stack-Exchange-Editor-Toolkit