Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  f0d2f3c80bbd6aa15d57167ed112b3a95561142f

BS223 Facelift: Edit Button

* re-added edit button

Change-Id: I35d68d66e35123800dd371e11342a63d99d28fc6