Websites/perf.webkit.org/public/admin/regenerate-manifest.php

   1 <?php
   2
   3 require_once('../include/admin-header.php');
   4 require_once('../include/manifest.php');
   5
   6 if ($db) {
   7     if (regenerate_manifest())
   8         notice("Regenerated the manifest");
   9 }
  10
  11 require('../include/admin-footer.php');
  12
  13 ?>