maintenance/flush.php

   1 #!/usr/bin/php
   2 <?php
   3
   4 chdir(dirname(__FILE__));
   5 require_once 'common.php';
   6 assertCli();
   7
   8 /**
   9  * @file
  10  * Runs all generation/flush cache scripts to ensure that somewhat volatile
  11  * generated files are up-to-date.
  12  */
  13
  14 function e($cmd) {
  15     echo "\$ $cmd\n";
  16     passthru($cmd);
  17     echo "\n";
  18 }
  19
  20 e('php generate-includes.php');
  21 e('php flush-definition-cache.php');
  22 e('php generate-schema-cache.php');
  23 e('php generate-standalone.php');