Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  7c7d96a5d9278253b95d1f0c955b5a4f86cb7df0

PHP 5.3 compatibility

Change-Id: Ia132f357f0d1a222c05aa469d4232e573bad947b
Fixed: PHP Fatal error:  Unsupported operand types