Content added Content deleted
imported>DrOwl mNo edit summary |
imported>DrOwl No edit summary |
||
Line 29:
# 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
#install extension hook
$wgExtensionFunctions[] = "wfFigletExtension";
#extension hook callback function
function wfFigletExtension() {
}
function renderFiglet( $input ) {
global $wgOutputEncoding;
$output="<pre>";
$output.="</pre>";
return $output;
▲ }
?>
|
Revision as of 20:38, 19 June 2006
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</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 #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); $output="<pre>"; $output.=`figlet $input`; $output.="
";
return $output; }
?>
not installed yet, see ongoing talk.