Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticGlossary  1961fecb03237b1f211e93053b22224a4b7803e5

added support for synonyms in Semantic Glossary, added .idea to gitignore

Improved caching

Change-Id: I5073db166165cc2a5aa2ba66113fc176313efd2d