Updated mediawiki/extensions
Project: mediawiki/extensions/GettingStarted  4d9078ca31665de711b3640a4524df0e12f3741d

Show toolbar after post-edit is done, if applicable.

Change-Id: I2a941cef212d332bd751c1dbf211f85d18618bea