Updated mediawiki/extensions
Project: mediawiki/extensions/CirrusSearch  e3fda17c32fd1ac92ef097fcd30dfb435d7d5ef3

Remove useless file

Change-Id: I425e8864f4d7d59845d7af1e627ca7472400ba5e