Gibraltar border controls lifted: Is it part of Schengen, the UK – or both?

A new treaty signed by Britain and the EU removes border checks between Spain and Gibraltar.