mods/wiki/tools/metacache

   1 #!/usr/local/bin/php -qC
   2 <?php
   3 /*
   4    Updates 'plugins/meta.bin' from the various .meta files
   5    in the plugins directory.
   6 */
   7
   8
   9 #-- init
  10 chdir(dirname(dirname(__FILE__)));
  11 include("plugins/lib/pluginmetadata.php");
  12
  13 #-- do
  14 echo "reading plugin .meta data files... ";
  15 ewiki_pmd(0, "_SAVE=1", "_WARN=1");
  16 echo "done\n";
  17
  18 #-- statistics
  19 $s = array();
  20 $t = array();
  21 foreach ($ewiki_pmd as $row) {
  22    $s[$row["category"]]++;
  23    $t[$row["type"]]++;
  24 }
  25 echo "  TOTAL = " . (count($ewiki_pmd)-1) . "\n";
  26 foreach ($t as $_=>$i) if ($_) {
  27    echo "  $_ = $i\n";
  28 }
  29 echo "\n";
  30
  31
  32
  33 #-- debug
  34 #print_r($ewiki_pmd);
  35
  36 #$list = array_keys($ewiki_pmd);
  37 #$i = ewiki_pmd_get_plugin_files($list);
  38 #print_r($i);
  39
  40 ?>