Clone this repo:
  1. f635b6f build: Updating eslint-config-wikimedia to 0.32.3 by libraryupgrader · 12 days ago master
  2. 4c09980 build: Updating eslint-config-wikimedia to 0.32.2 by libraryupgrader · 3 weeks ago
  3. 61d3e54 build: Updating eslint-config-wikimedia to 0.32.1 by libraryupgrader · 5 weeks ago
  4. d519211 build: Updating mediawiki/mediawiki-codesniffer to 48.0.0 by libraryupgrader · 3 months ago
  5. f75fa86 build: Updating mediawiki/mediawiki-phan-config to 0.17.0 by libraryupgrader · 4 months ago

SoftRedirector

See https://www.mediawiki.org/wiki/Extension:SoftRedirector for detailed documentation.

Configuration

The following configuration variables can be set from your LocalSettings.php file.

  • $wgSoftRedirectorIndicateLinks: whether to add a 'mw-softredir' CSS class to links to soft redirect pages