Updated mediawiki/extensions
Project: mediawiki/extensions/MathSearch  3aa1bd43b435f2f122fadde07f1ea7be1a5e4ed0

Bug-fix to prior commit 

(delete script tags not greedy)
Add option to use database entries

Change-Id: I15212a5d7b4566d62f87e2048560a2b9857b9c82