Extension:Redirect Anchor

Note: Redirecting to section is now available as a core feature, so this extension is deprecated.

I basically ripped this off of something I read in the Bugzilla, but cleaned it up a touch to be compatible with m:User:Emiller/GoogleMapsExtension. This extension allows #REDIRECT directives to point to particular sections of articles, e.g. #REDIRECT Games. It uses JavaScript, so it won't work in ancient web browsers. Anyway, paste this into extensions/RedirectAnchor.php: And then add this to LocalSettings.php: