Extension:GeoGebra/de

From MediaWiki.org
Jump to: navigation, search
MediaWiki-ErweiterungenListe
Crystal Clear action run.png
GeoGebra

Erscheinungsstatus: stable

Einbindung Tag
Beschreibung Einbetten eines GeoGebra-Applets in eine MediaWiki-Seite
Autor(en) R. Großmann (Rudolf.Grossmanntalk)
Letzte Version 2.7i
MediaWiki getested mit 1.12.0
und 1.19.0
(funktioniert wahrscheinlich auch mit älteren Versionen)
Lizenz No license specified
Download siehe unten
Beispiel http://www.geogebra.org/
Verwendete Hooks
ParserFirstCallInit

Contents

Wozu dient diese Erweiterung? [edit]

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. Es kann mittels Einbettung eines GeoGebra-Applets auf einer MediaWiki-Seite damit gearbeitet werden.

Verwendung [edit]

Hochladen von ggb-Dateien zulassen [edit]

Sinnvollerweise sollte man Uploads von GeoGebra-Dateien (*.ggb) zulassen. Dies erreicht man, indem man die folgenden zwei Zeilen zur Datei LocalSettings.php hinzufügt:

$wgFileExtensions[] = 'ggb';
$wgVerifyMimeType = false;

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 dass hochladen von Media-Dateien.

Einfügen eines GeoGebra-Applets in Ihre MediaWiki-Seite [edit]

Die folgende Zeile fügt ein GeoGebra-Applet in Ihre MediaWiki-Seite ein:

<ggb_applet height="300" width="600" filename="MyFile.ggb" />

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

Beispiel:

<ggb_applet height="200" width="400" showMenuBar="true" showResetIcon="true" filename="MyFile.ggb" />

Benutzug von useLocalJar = true/false [edit]

Als Voreinstellung (default) gilt useLocalJar = "false". 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 useLocalJar = "false" explizit gesetzt ist, wird geogebra.jar im gleichen Verzeichnis wie GeoGebra.php gesucht.

Anleitung zum herunterladen [edit]

Bitte kopieren Sie den unten angegebenen Code und speichern Sie ihn in der Datei $IP/extensions/GeoGebra/GeoGebra.php.

Anmerkung: $IP steht für das Stammverzeichnis (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

$IP/extensions/GeoGebra.

  • 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 [edit]

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

require_once("$IP/extensions/GeoGebra/GeoGebra.php");

Code [edit]

Bitte benutze den Code auf der englischen Version dieser Seite.

Bekannte Probleme [edit]

  • 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 Erweiterung vor.

Änderungen von 1.0u zu 2.0p [edit]

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 $_SERVER['DOCUMENT_ROOT'] did not work correctly.

Weitere Links [edit]

Sprache: English  • Deutsch • português