MediaWiki:Gadget-LintHint.js

From Wikiversity
Jump to navigation Jump to search

Note: After publishing, you may have to bypass your browser's cache to see the changes.

  • Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
  • Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
  • Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
  • Opera: Press Ctrl-F5.
/*
  This imports the current version of LintHint from Wikipedia:User:PerfektesChaos.
  
  LintHint highlights page lint errors.
  
  See https://www.mediawiki.org/wiki/Help:Extension:Linter for more information 
  on lint errors.
  
  See https://en.wikipedia.org/wiki/User:PerfektesChaos/js/lintHint for more
  information on LintHint.
  
 */
 
// Configuration from Wikipedia:User:ShakespeareFan00/common.js
var myLintHints = { };
myLintHints.rooms = "*";
mw.hook( "lintHint.config" ).fire( myLintHints );
mw.loader.load( "https://en.wikipedia.org/w/index.php?title=User:PerfektesChaos/js/lintHint/r.js&action=raw&bcache=1&maxage=86400&ctype=text/javascript" );
Retrieved from "https://en.wikiversity.org/w/index.php?title=MediaWiki:Gadget-LintHint.js&oldid=1857128"