Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  268fb719e111b8838c0ae57de45d8c3aaa0ea4e3

Make message table header to float when scrolling

To make search and filters available for long lists,
the header of the message table floats/sticks according to scroll status.

Change-Id: Ic608df9a4a0284c4ff7bc88aa18f0d4a53e7a7c7