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.
To avoid problems with </pre> inside code in a <pre>, use <pre>blah blah code <nowiki></pre> blah blah more code </nowiki>.