[MediaWiki-commits] [Gerrit] mediawiki...WikimediaIncubator[master]: Remove pre-authmanager code

2017-10-12 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/383741 ) Change subject: Remove pre-authmanager code .. Remove pre-authmanager code Bug: T178034 Change-Id:

[MediaWiki-commits] [Gerrit] mediawiki...WikimediaIncubator[master]: Remove pre-authmanager code

2017-10-11 Thread Reedy (Code Review)
Reedy has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/383741 ) Change subject: Remove pre-authmanager code .. Remove pre-authmanager code Bug: T178034 Change-Id: I2bb89e897951ffefc32eb09faee2243964a73284