[#31580] GSoC 2013: Removing MooTools dependencies from switcher.js. Fix #1976
GSoC 2013: Removing MooTools dependencies from highlighter.js. Fix #2005