Updated mediawiki/extensions
Project: mediawiki/extensions/GettingStarted  a5fe23df1e5b42198c6da663f4699db6ff0043c5

Add the Recommendations personal tool

* When the user is logged in, dynamically add the "Recommendations"
  personal tool to the personal tools list
* Request 3 (currently) recommended articles to edit based on the last
  editied article and display them in a flyout, which has the same
  styling as a guider
* Factor out and use the same styles to display the recommendations and
  the post-edit recommendation introduced in
  I9bd86d6207455c2cb27164bdf18323b01b77f494

Co-Author: Sam Smith <git@samsmith.io>
Co-Author: Rob Moen <rmoen@wikimedia.org>
Change-Id: I003ca4d7f0ca7b408cb3f972d4d51fc8afd8e5ee