From 47541b5867bc600acea31997defd7ea00ddfb336 Mon Sep 17 00:00:00 2001
From: Evan O'Connell <oconn.e@gmail.com>
Date: Mon, 9 Jul 2012 14:43:58 -0400
Subject: [PATCH] Didn't mean to replace that line.

---
 _includes/language-highlights.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/_includes/language-highlights.md b/_includes/language-highlights.md
index 25ae085..0614156 100644
--- a/_includes/language-highlights.md
+++ b/_includes/language-highlights.md
@@ -71,6 +71,7 @@ To run our script, above, from the command line:
     > php hello.php world
     Hello, world
 {% endhighlight %}
+
 ### Built-in, command line web server
 
 Starting with PHP 5.4, you can develop locally on a PHP-enabled web server without the hassle of installing and configuring a full-fledged web server. To start the server, from your web root: