Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  7c5a1887e2aa1f943ffa928b5823e1cef56bbac7

Simple paging for translation search search results

Bug: 46097
Change-Id: I3727311cf23989042c12825c7c015ba50db674fa