UI for managing PHP extensions. Used some CSS trickery to replace system checkboxes with friendlier ones.
