abackstrom/php-tools — pull request #5 by borkweb (2013-07-25 18:59:37+00:00)
Title: Some styling

I'm stuck in the airport with not much of an internet connection. Here's my attempt at some minor styling on php-tools (feel free to not merge this if you think it sucks).