Miscellany

<?php

$wgExtensionFunctions[] = "wfStyleExtension";

function wfStyleExtension() {
    global $wgParser;
    $wgParser->setHook( "style", "renderStyle" );
}

function renderStyle( $input, $argv ) {
$input = htmlspecialchars($input);
return '<style type="text/css">' . $input . '</style>';
}
?>