Updated mediawiki/extensions
Project: mediawiki/extensions/CentralAuth  55d24da0ac0e91aa43165b166069bb795dd77c2e

Rework CentralAuth login flow

Changes in this mega-patch are:
* "Silent login" option: skip the login success screen if
  $wgCentralAuthSilentLogin is set. This may eventually become
  non-optional.
* Check against the central wiki for whether the user is logged in. If
  so, the p-personal bar will be rewritten, and (if the user has certain
  preferences set) a notification will be presented.
* Non-JS-based check against the central wiki for whether the user is
  logged in, for users without JavaScript enabled.

Change-Id: Ibf6e271f4d018be2a53289f2c0092e88bbcc01ee