[MediaWiki-commits] [Gerrit] Update documentation to point to new web proxy - change (wikimedia...wetzel)

OliverKeyes has uploaded a new change for review. https://gerrit.wikimedia.org/r/246672 Change subject: Update documentation to point to new web proxy .. Update documentation to point to new web proxy Updates the docs to

[MediaWiki-commits] [Gerrit] Update documentation to point to new web proxy - change (wikimedia...wetzel)

Bearloga has submitted this change and it was merged. Change subject: Update documentation to point to new web proxy .. Update documentation to point to new web proxy Updates the docs to point to discovery.wmflabs.org instead