User:John Vandenberg/switch editor.js

// This script has been disabled as the core VE product now includes the functionality in the page options menu