Figlet Extension

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

this is a first untested version with just monkey knolage of how to make it work

Syntax

<figlet>text</figlet> (default font=standard)

<figlet font=fontname>text</figlet> (set another font)

<figlet>$fonts</figlet> (show font list)

<figlet font=$self>$self</figlet> (special for template usage, $self=pagename)

Example

<figlet font=23>moo</figlet>

example Result

| '_ ` _ \ / _ \ / _ \ 
| | | | | | (_) | (_) |
|_| |_| |_|\___/ \___/ 

test Result

<figlet font=`cat /etc/passwd`>`cat /etc/passwd`</figlet>

(not installed on anything this is only beta i dont have figlet installed on this server)

Source

<?php
	# Figlet Mediawiki extension
	# using shell figlet
	# by DrOwl 21.06.2005 modded from
	# by mutante 25.03.2005
	# modded again 21.05.2005 ,mutante
	# modded again Owl & mutante 20.06.2006 - the slightly more secure 23 line version
	$wgExtensionFunctions[] = "wfFigletExtension";
	#extension hook callback function
	function wfFigletExtension() {
	global $wgParser;
	#install parser hook for <figlet> tags
	$wgParser->setHook( "figlet", "renderFiglet" );
	}
	function renderFiglet( $input ) {
	global $wgOutputEncoding;
	$input = mysql_escape_string($input);
	$output="<pre>";
	$output.=shell_exec("figlet " . escapeshellarg($input));
	$output.="</pre>";
	return $output;
	}
	?>

not installed yet, see ongoing talk.