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>

Example

<figlet>moo</figlet>

example Result

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

test Result

<figlet>moo \\|uname /|uname \`\|uname`</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.="

";

return $output; } ?>

not installed yet, see ongoing talk.