Updated mediawiki/extensions
Project: mediawiki/extensions/GettingStarted  7acf7ec649ece7faab7de2749794115f591e956f

Implement front-end of dynamic GettingStartedv2, with new logging.

* Add Steven's improved wording.
* Minor adjustments and documentation for Redis backend.

Change-Id: I00c639992638253e50a6931a108715070e325dbc