Updated mediawiki/extensions
Project: mediawiki/extensions/CirrusSearch  7cdba3bbd3f0421d889f1af1af59136b667a7aa3

Update old page title after move

Change-Id: I2638b695f7d656ec19109ba437c8320bcfb5f505