# HG changeset patch # User Pascal Bellard # Date 1351956217 -3600 # Node ID 9f84fa885954575209c01b98599c119f16cc4928 # Parent 9f2bd6285998aec3bb295c5d3b92d0d1777879ec blazekiss: remove wkp_ToDo.php diff -r 9f2bd6285998 -r 9f84fa885954 blazekiss/receipt --- a/blazekiss/receipt Sat Nov 03 16:17:38 2012 +0100 +++ b/blazekiss/receipt Sat Nov 03 16:23:37 2012 +0100 @@ -25,6 +25,5 @@ mkdir -p $fs/var/www cp -a $src $fs/var/www/blazekiss rm -f $fs/var/www/blazekiss/historique/*/*.bak - cp -a $stuff/* $fs/var/www/blazekiss/ chown -R www.www $fs/var/www/blazekiss } diff -r 9f2bd6285998 -r 9f84fa885954 blazekiss/stuff/plugins/wkp_ToDo.php --- a/blazekiss/stuff/plugins/wkp_ToDo.php Sat Nov 03 16:17:38 2012 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,55 +0,0 @@ -{TODO ...} tags -'; - -todo_index() -{ - grep -l '{TODO' pages/*.txt | while read file; do - page=$(basename $file .txt) - ref="$page" - grep '{TODO' $file | sed "s|.*{TODO\\([^}]*\\)}.*|

$ref\\1

|" - done -} - - if ($handle = @opendir("pages/data")) { - while(($item = readdir($handle)) !== false) { - if ($item == '..' || $item == '.') continue; - $CONTENT .= ''.$item.''; - } - } - return TRUE; - } - return FALSE; // action non traitée - $CONTENT = preg_replace('#\[(.*)|(pages/.*)\]#','$2',$CONTENT); - } // action - - function formatBegin() - { - global $CONTENT; - $CONTENT = preg_replace('#{TODO[^}]*}#','',$CONTENT); - } -} - -?>