Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  93919b56ba2edff342c8f6cb26053d0ee5525eaa

(Bug 45433) Adjust floating/sticking headers/footers when filtering

Change-Id: I2a2f797d51e755ea302a9f586f80ebe41d5d8108