Updated mediawiki/extensions
Project: mediawiki/extensions/GeoGebra  c0d87087d04414b193b95f99a0597701bb324eed

Added HTML5 support (by Rudolf Grossmann)
Extension should now support adding both HTML5 applets and Java applets

Change-Id: Ifc806890012c676dcb62d2b4d4ef0f30759683ce