# HG changeset patch
# User igor@chub.in
# Date 1216674980 -10800
# Node ID e939c147dcdd988e37077c0023710b419970527a
# Parent  c48bd05dca853a87aaf2d9dccd5429a4571b5226
Добавлен l3pre.php --- mediawiki extension, предназначенный для вставки на wiki фрагментов журнала

diff -r c48bd05dca85 -r e939c147dcdd l3pre.php
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/l3pre.php	Tue Jul 22 00:16:20 2008 +0300
@@ -0,0 +1,15 @@
+<?
+$wgExtensionFunctions[] = "wfLiLaLoExtension";
+
+function wfLiLaLoExtension() {
+    global $wgParser;
+    $wgParser->setHook( "lilalo", "renderLiLaLoPRE" );
+}
+
+function renderLiLaLoPRE( $input ) {
+    $input = preg_replace('/[^\n]*l3: local_session_id[^\n]*[\n]/', '', $input);
+    $input = preg_replace('/((..:..:...)(#[^\n]*))/', '$2<b><a href="http://xgu.ru/">$3</a></b>', $input);
+    return "<pre>$input</pre>";
+}
+
+?>