Updated mediawiki/extensions
Project: mediawiki/extensions/BlueSpiceExtensions  7585d28a137cf8b1dee0197c0c5182e4edaf6cd3

Improved caching

Cache keys now all contain the limit. If limit is not available or set to
0, the real value for the cache key is taken from the settings. In order t
keep the timestamp somewhat up to date, cache expires after 5 minutes.

Change-Id: I80560cb983dd468a91426d8d5c5403de4f2dcf47