Use short PHP opening tags everywhere