VE-885: Inez, we need a little space
VE-742 Add user preference for editor
VE-742 Remove namespace check that doesn't work
VE-742 Fix logic for several conditions
VE-742 Script to migrate user editor preference
VE-911: Quick fix to address the PHP Warning. Remove debugging. 911, it's the best
Merge pull request #3200 from Wikia/VE-911

VE-911: Quick fix for the PHP Warning. Remove debugging. 911, it's the best.
VE-885: Less space, I guess... :(
Merge pull request #3188 from Wikia/VE-885

VE-885: Inez, we need a little space
VE-742 enablerichtext user option should not affect new editor preference
VE-742 Disable 'enablerichtext' option and update maintenance script
VE-742 Rename method and make sure source editor is used when preferred on CreatePage
VE-742 Position editor preference at top of Editing section
VE-940: Remove any values for wgEnableVisualEditorExt in WikiFactory
VE-742 Clean-up from code review
VE-742 Clean-up from code review
VE-742 More changes for code review
VE-742 More changes for code review
VE-742 Rename variables and simplify edit link replacement/removal
VE-742 Updates from code review