From 7fb7758178a144a7081bfdf0a23c7eaf4b967704 Mon Sep 17 00:00:00 2001 From: Justin Hileman Date: Tue, 12 Mar 2013 16:29:33 -0700 Subject: [PATCH] Include header in generated bootstrap files. --- bin/build_bootstrap.php | 18 ++++++++++++++++-- 1 file changed, 16 insertions(+), 2 deletions(-) diff --git a/bin/build_bootstrap.php b/bin/build_bootstrap.php index ea0d917..2574a9f 100755 --- a/bin/build_bootstrap.php +++ b/bin/build_bootstrap.php @@ -75,6 +75,19 @@ class SymfonyClassCollectionLoader { static private $loaded; + const HEADER = <<\s*$/'), '', file_get_contents($r->getFileName())); } - $cache = $cacheDir.'/'.$name.$extension; - self::writeCacheFile($cache, self::stripComments('