Extension:GeoGebra/de

Wozu dient diese Erweiterung?
Einbettung eines GeoGebra-Applets zu einer MediaWiki-Seite.

Ein GeoGebra-Applet ist ein dynamisches Geometrie-System, das mit der Möglichkeit versehen wurde, direkt Gleichungen und Koordinaten eingeben zu können. Dies ist sehr nützlich für den Mathematikunterricht und mathematische Untersuchungen.

Uploads von ggb-Dateien zulassen
Sinnvollerweise sollte man Uploads von GeoGebra-Dateien (*.ggb) zulassen. Dies erreicht man, indem man die folgenden zwei Zeilen zur Datei LocalSettings.php hinzufügt: Bitte teilen Sie mir mit, falls Sie wissen, wie man das "MimeType checking" nur für bestimmte Dateinamen-Erweiterungen ausschaltet.

Hier finden Sie mehr über den upload von Media-Dateien.

Einfügen eines GeoGebra-Applets in Ihre MediaWiki-Seite
Die folgende Zeile fügt ein GeoGebra-Applet in Ihre MediaWiki-Seite ein:

Man kann auch andere GeoGebra-Applet-Parameter übergeben. Beispiel:

Benutzug von useLocalJar = true/false
Als Voreinstellung (default) gilt. Das heißt, die Datei geogebra.jar wird von www.geogebra.at geladen.

Falls geogebra.jar nicht bei www.geogebra.at gefunden wird, oder falls der Parameter  explizit gesetzt ist, wird geogebra.jar im gleichen Verzeichnis wie GeoGebra.php gesucht.

Anleitung zum Download
Bitte kopieren Sie den unten angegebenen Code und speichern Sie ihn in der Datei.

Anmerkung: $IP steht für das "root directory" der MediaWiki-Installation, dasselbe Verzeichnis, in dem auch die Datei LocalSettings.php gespeichert ist.

Laden Sie die folgenden Dateien Ihrer GeoGebra-Installation (wahrscheinlich in \programme\GeoGebra zu finden) hoch nach.
 * geogebra.jar
 * geogebra_cas.jar
 * geogebra_export.jar
 * geogebra_gui.jar
 * geogebra_main.jar
 * geogebra_properties.jar
 * lax.jar
 * license.txt
 * gpl-2.0.txt
 * cc-by-nc-nd-3.0.txt

Installation
Um diese Extension zu aktivieren, fügen Sie bitte folgende Zeile zu LocalSettings.php hinzu:

Bekannte Probleme

 * Mit Opera trat folgender Fehler auf: Opera zeigte Applet crashed anstelle des GeoGebra-Applets. Dieser Fehler trat nur auf, falls useLocalJar="true" gesetzt war und falls nur geogebra.jar ohne den Rest der geogebra*.jar-Dateien installiert war. Bitte teilen Sie mir mit, falls Sie Opera benutzen und dieser oder ein ähnlicher Fehler auftaucht.


 * Es gibt manchmal Probleme, die URL einer ins Mediawiki-Datei-Repositorium hochgeladenen GGB-Datei zu ermitteln. Dies betrifft nur eine einzelne Installation der GeoGebra-Extension; die anderen arbeiten ohne Fehler. Vielleicht liegt eine Beeinflussung durch eine andere Extension vor.

Changes from 1.0u to 2.0p
If geogebra.jar is not found at www.geogebra.at, or if using useLocalJar="true", GeoGebra extension looks for geogebra.jar at another place:

Version 1.0u looked for geogebra.jar in the file repository of the wiki. This caused problems, when geogebra.jar changed to be only a starter for other geogebra*.jar files, e.g. geogebra_main.jar, geogebra_gui.jar etc.

Version 2.0p now looks for geogebra.jar in the /extension/GeoGebra subdirectory of the wiki. So you have to upload all geogebra*.jar files using FTP.

A minor change was necessary, because  did not work correctly.