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
# the short but working version, 19.06.2006
# the slightly more secure version, 20.06.2006
#install extension hook
$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);
$input = escapeshellarg($input);

$output="<pre>";
\\$output.=`figlet $input`;
$output.=shell_exec("figlet " . escapeshellarg($input));
$output.="

";

return $output; }

?>

not installed yet, see ongoing talk.