generate-dropin.php 327 B

12345678910
  1. <?php
  2. $root = dirname(__DIR__);
  3. $header = file_get_contents("$root/partials/header.php");
  4. $compiled = file_get_contents("$root/dist/compiled.php");
  5. // Strip opening `<?php` tag from compiled file.
  6. $compiled = substr($compiled, strlen('<?php'));
  7. $output = $header . $compiled;
  8. file_put_contents("$root/dist/db.php", $output);