Wicri:Dilib source, module MediaWiki, MediaWikiExtractSources
De Wicri Outils
Révision datée du 7 septembre 2013 à 22:24 par imported>Jacques Ducloy (Page créée avec « Cette page introduit les sources relatifs à la commande MMediaWikiExtractSources du module MediaWiki. =Fichier MediaWikiImportClean.lex== ===Cod... »)
Cette page introduit les sources relatifs à la commande MMediaWikiExtractSources du module MediaWiki.
Fichier MediaWikiImportClean.lex=
Code source
/* -*- coding: utf-8 -*- */
/*
Dilib Version :
Date : V0.5.46 (7 septembre 2013
Module MediaWiki,
Commande : MediaWikiExtractSources
Fichier source géré par Wicri/Outils, page :
Wicri:Dilib source, module MediaWiki, MediaWikiExtractSources
*/
%START JUMP
%START HEAD_PAGE
%START END_PAGE
%START PAGE
%%
<JUMP>. ;
<JUMP>\n ;
<JUMP>"<page>" {ECHO; BEGIN HEAD_PAGE;}
<HEAD_PAGE>"<text"[^>]+">" {ECHO; printf("\n<?dilib start wiki ?>\n"); BEGIN PAGE;}
<HEAD_PAGE>. ECHO;
<HEAD_PAGE>\n ECHO;
<PAGE>. ECHO;
<PAGE>\n ECHO;
<PAGE>< putchar('<');
<PAGE>> putchar('>');
<PAGE>" putchar('\"');
<PAGE>"</text>" {printf("\n<?dilib end wiki ?>\n</text>"); BEGIN END_PAGE;}
<END_PAGE>"</page>" {ECHO; putchar('\n'); BEGIN JUMP;}
<END_PAGE>. ECHO;
<END_PAGE>\n ECHO;
%%
main()
{
BEGIN JUMP;
yylex();
}