Wicri:Dilib source, module MediaWiki, MediaWikiExtractSources

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>&lt;                     putchar('<');
<PAGE>&gt;                     putchar('>');
<PAGE>&quot;                   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();
}