Extension:FormelApplet

What can this extension do?
Add a FormelApplet to your MediaWiki page.

The status of this extension has changed from experimental to beta, because FormelApplet now is successfully in use by other wikis.

Add a FormelApplet tag to your MediaWiki page
The following tag will add a FormelApplet to your MediaWiki page:

You can also pass other FormelApplet parameters. Example (smaller font size):

Download instructions
Go to the $IP/extensions directory and create a subdirectory named FormelApplet. Please cut and paste the code found below and place it in.

If you want to use the parameter useLocalJar="true", download the JAR file gf03.jar from here [] and copy it to. This is comfortable, if you use a locally installed Wiki (using XAMPP, for instance) without connection to the internet.

Note: $IP stands for the root directory of your MediaWiki installation, the same directory that holds LocalSettings.php.

Installation
To install this extension, add the following to LocalSettings.php:

Change from 1.1b to 1.2a

 * Function url_exists was deleted, because it seemed to be not reliable in some cases. If gf03.jar is not found at www.formelapplet.de, the browser (or the Java plugin) will generate an error message. (In version 1.1b the error message was generated by the PHP code of the extension.)