Updated mediawiki/extensions
Project: mediawiki/extensions/GettingStarted  05fa9b5104e14adb3775e9c77800134fa54f4efe

Use RedisConnectionPool

Use RedisConnectionPool in GettingStarted, as suggested in the FIXME
comment, and allow the pool to be configured.

Change-Id: Iab1abc8e3650bb640aba85405fee81728e27313c