Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  727a24cbabb4c3903c1db84e484a6cb3782ed447

Don't use message keys from other extensions

Depends on https://gerrit.wikimedia.org/r/#/c/146800/

Change-Id: I1e73c3e62a6250b0169bb0eac010d525ed7cf1f7