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

A new treaty signed by Britain and the EU includes the removal of border checks between Spain and Gibraltar.