util/compute_FontAwesome_subset.php

   1 <?php
   2
   3 $root = preg_replace('/\/[^\/]+$/', '', dirname(__FILE__));
   4 $directories = [
   5         "{$root}/src/"
   6 ];
   7 $files = [
   8         "options.js",
   9         "popup.js",
  10         "options.css",
  11         "popup.css",
  12         "options.html",
  13         "popup.html",
  14 ];
  15 $additional_files = [
  16 ];
  17 $characters = [ ];
  18
  19 function process_file($filename) {
  20         if (!file_exists($filename))
  21                 return;
  22
  23         global $characters;
  24
  25         $contents = file_get_contents($filename);
  26
  27         preg_match_all('/&#x(.{4})/', $contents, $matches);
  28         $characters = array_merge($characters, $matches[1]);
  29
  30         preg_match_all('/\\\(F.{3})/', $contents, $matches);
  31         $characters = array_merge($characters, $matches[1]);
  32 }
  33
  34 foreach ($directories as $directory) {
  35         foreach ($files as $file) {
  36                 process_file($directory.$file);
  37         }
  38 }
  39 foreach ($additional_files as $file) {
  40         process_file($file);
  41 }
  42
  43 foreach ($characters as $key => $value) {
  44         $characters[$key] = strtoupper($value);
  45 }
  46 $characters = array_unique($characters);
  47 sort($characters);
  48 echo implode(",",$characters);
  49 echo "\n";
  50
  51 ?>