A developer theme for php