Wikimedia
Special:Notifications (in MediaWiki's "Echo" extension) should use UserNotLoggedIn and auto-redirect to login page instead of custom error message
See https://phabricator.wikimedia.org/T118873
Special:Notifications should throw the UserNotLoggedIn exception which automatically redirects the user to Special:UserLogin, instead of a custom error message. We will need to add our error message using the LoginFormValidErrorMessages hook.
Task tags
Students who completed this task
mhutti1