Figlet Extension

Integrate figlet text into wiki pages using figletlink in a custom Mediawiki extension:

Syntax
text (default font=standard)

text (set another font)

$fonts (show font list)

$self (special for template usage, $self=pagename)

Example
moo

moo

Result
moo

Example
$fonts

Result
$fonts

For all fonts also see Category:Figlet

Source
Historic: The original idea by DrOwl: "this is a first untested version with just monkey knolage of how to make it work"

 setHook( "figlet", "renderFiglet" ); } function renderFiglet( $input ) { global $wgOutputEncoding; $input = mysql_escape_string($input); $output=" "; $output.=shell_exec("figlet " . escapeshellarg($input)); $output.=" "; return $output; } ?> 
 * 1) Figlet Mediawiki extension
 * 2) using shell figlet
 * 3) by DrOwl 21.06.2005 modded from
 * 4) by mutante 25.03.2005
 * 5) modded again 21.05.2005 ,mutante
 * 6) modded again Owl & mutante 20.06.2006 - the slightly more secure 23 line version
 * 1) extension hook callback function
 * 1) install parser hook for tags

Current Source
 setHook( "figlet", "renderFiglet" ); }
 * 1) Figlet Mediawiki extension
 * 2) using shell figlet
 * 3) by DrOwl 21.06.2005 modded from
 * 4) by mutante 25.03.2005
 * 5) modded again 21.05.2005 ,mutante
 * 6) modded again Owl & mutante 20.06.2006 - the slightly more secure 23 line version
 * 7) modded again, mutante 22.06.2006 - the advanced version with fonts
 * 8) modded again, mutante 06.11.2006 - fixed bug (ctype_alnum) & added ExtensionCredits
 * 1) extension hook callback function
 * 1) install parser hook for tags

$wgExtensionCredits['parserhook'][] = array(       'name' => 'figlet extension',        'author' => 'DrOwl / mutante',        'url' => 'http://s23.org/wiki/Figlet Extension',        'version' => '0.23', );

function renderFiglet( $input, $argv, &$parser) { global $wgOutputEncoding; $baseurl="http://s23.org/wiki/";

if ($argv["font"] && $argv["font"] ) { $userfont=$argv["font"]; } else { $userfont="standard"; }
 * 1) if ($argv["font"] && $argv["font"] <80 && ctype_alnum($argv["font"])) {
 * 2) <- this didnt work anymore after mediawiki and php upgrade somehow, removed "ctype_alnum", 061106

$input = mysql_escape_string($input); $localParser = new Parser;

if ($input == "\$fonts") {

$fonts.=shell_exec("cd /usr/share/figlet; ls *.flf | cut -d. -f 1| xargs"); $fonts=explode(" ",$fonts);

$syntax.=" Available figlet fonts: ";

foreach ($fonts as $font) { $font=trim($font); $syntax.="$font "; }

$parsesyntax = $localParser->parse($syntax, $parser->mTitle, $parser->mOptions);

$output.=$parsesyntax->getText;

} else {

$output=" ";

if ($input =="\$self") { $title=$_GET["title"]; $title=explode("/",$title); $title=$title[2]; $input=$title; $fileinfocmd="head -n8 /usr/share/figlet/".$title.".flf"; $description=`$fileinfocmd`; $comment="This font for figlet is called \"$title\". File info: $description You can create it with the wiki syntax:  text . Other fonts are in Category:Figlet."; $parsecomment = $localParser->parse($comment, $parser->mTitle, $parser->mOptions); $comment=$parsecomment->getText; }
 * 1) $nt = Title::makeTitle( $row->page_namespace, $row->page_title );
 * 2) $input = $nt->getFullURL;

if ($userfont == "\$self") { $userfont=$_GET["title"]; $userfont=explode("/",$userfont); $userfont=$userfont[2]; }

$uinput=escapeshellarg($input); $userfont=escapeshellarg($userfont);

$figlet=shell_exec("figlet -f $userfont $uinput");

if (!$figlet) {

$syntax.="Figlet error: could not find the fontfile (or other fnord), fontname given: $userfont check available fonts in Category:Figlet or via  $fonts ."; $parsesyntax = $localParser->parse($syntax, $parser->mTitle, $parser->mOptions); $output.=$parsesyntax->getText;

} else {

$figlet = str_replace("<!","&#60;&#33;",$figlet); $figlet = str_replace(" 

See ongoing talk.

We use Syntax Highlighting Extension here to highlight the PHP source.