MediaWiki:HighlightEditSections.js

//This script is now located at User:Magnus Manske/HighlightEditSections.js. importScript('User:Magnus Manske/HighlightEditSections.js')