MediaWiki:HighlightEditSections.js

//This script is now located at User:Magnus Manske/HighlightEditSections.js.

importScript('User:Magnus Manske/HighlightEditSections.js')