Whitespace-only change: tabs to spaces

website/docfooter.php

@@ -1,5 +1,5 @@
 <h1>Other DevCamps Documentation:</h1>
 
 <?php
-	include('doclist.php');
+    include('doclist.php');
 ?>

website/doclist.php

@@ -19,6 +19,6 @@
 <h2>Configuration, API, and Internals:</h2>
 
 <ul>
-	<li><a href="/docs/Config">Camp::Config</a></li>
-	<li><a href="/docs/Master">Camp::Master</a></li>
+    <li><a href="/docs/Config">Camp::Config</a></li>
+    <li><a href="/docs/Master">Camp::Master</a></li>
 </ul>

website/footer.php

@@ -11,42 +11,42 @@
 $page = $_SERVER['REQUEST_URI'];
 
 if (preg_match('/\/why$/', $page)) {
-	$quote = <<<END
+    $quote = <<<END
 <p>“The DevCamps system has provided a fantastic platform for making changes to our website with the ability to proof them in a safe environment, away from the public eye. The camps environment also allows us to keep lots of projects rolling at one time. Camps are an invaluable part of the daily development of our website.”</p>
 
 <p class="attribution">—Karen Jacob, Director of Web Development, <a href="http://www.citypass.com/">CityPASS</a></p>
 END;
 }
 else if (preg_match('/\/documentation$/', $page)) {
-	$quote = <<<END
+    $quote = <<<END
 <p>“We’ve been using DevCamps for almost two years, and have been able to roll out more projects during this timeframe than in our entire 10 year history. Camps makes it easy to have multiple developers working on multiple projects simultaneously, allowing for our software development goals to be reached in as little time as possible.”</p>
 
 <p class="attribution">—Arshil Abdulla, Owner, <a href="http://www.lensdiscounters.com/">LensDiscounters.com</a></p>
 END;
 }
 else if (preg_match('/\/community$/', $page)) {
-	$quote = <<<END
+    $quote = <<<END
 <p>“Paper Source has been using Camps for 3 years. With Camps, developers and content managers can work on multiple projects simultaneously, each in their own staging environment. I can have a new developer work on his or her own copy of the website without worrying about what might break. I can then see exactly what is new or has changed, merge a portion or all of the updates, test again and then move live. Camps foster productivity and piece of mind.”</p>
 
 <p class="attribution">—Leigh Wetzel, Director, E-Commerce, <a href="http://www.paper-source.com/">Paper Source</a></p>
 END;
 }
 else if (preg_match('/\/code$/', $page)) {
-	$quote = <<<END
+    $quote = <<<END
 <p>“Camps is honestly the best thing that has happened to my development.”</p>
 
 <p class="attribution">—Sam Batschelet, Co-Owner, <a href="http://www.westbranchresort.com/">West Branch Angler &amp; Resort</a></p>
 END;
 }
 else if (preg_match('/\/$/', $page)) {
-	$quote = <<<END
+    $quote = <<<END
 <p>“There are real benefits to the Camp system that Backcountry couldn’t live without. Our developers, QA, and business owners work together on projects right from the beginning in a camp, which makes them all more productive. We can have many projects going at once using different camps. Developers manage their own camps with all the self-service tools they need. It really is a better way to work.</p>
 
 <p class="attribution">—Spencer Christensen, Infrastructure Team Lead, <a href="http://www.backcountry.com/">Backcountry.com</a></p>
 END;
 }
 else {
-	$quote = <<<END
+    $quote = <<<END
 <p>DevCamps make website development projects easier!</p>
 END;
 }
@@ -60,9 +60,9 @@
 ?>
                 </div>
             </div>
- 
+
         </div>
- 
+
         <p id="copy">© 2006–2011 <a href="http://www.endpoint.com/">End Point Corporation</a></p>
 
         <script type="text/javascript">

website/header.php

@@ -4,19 +4,19 @@
         <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
         <title><?php echo $title ?></title>
         <link href="/main.css" type="text/css" rel="stylesheet" />
-		<link href="/img/devcamps-favicon.png" type="image/png" rel="shortcut icon" />
+        <link href="/img/devcamps-favicon.png" type="image/png" rel="shortcut icon" />
     </head>
     <body<?php
-	if ($page_type == 'doc') echo ' id="body" class="doc"';
+    if ($page_type == 'doc') echo ' id="body" class="doc"';
 ?>>
         <div id="header" class="fix">
             <div class="wrapper">
                 <a id="logo" href="/"><img src="/img/devcamps.png" alt="home"/></a>
-                <ul id="menu-main">             
-                    <li><a href="/why">why camps?</a></li>   
-                    <li><a href="/documentation">documentation</a></li>   
-                    <li><a href="/community">community</a></li>   
-                    <li><a href="/code">code</a></li>   
+                <ul id="menu-main">
+                    <li><a href="/why">why camps?</a></li>
+                    <li><a href="/documentation">documentation</a></li>
+                    <li><a href="/community">community</a></li>
+                    <li><a href="/code">code</a></li>
                 </ul>
             </div>
         </div>