El 13 de julio de 1713 la invasión británica de Gibraltar se formalizó mediante el Tratado de Utrecht entre España y Gran Bretaña, en cuyo artículo X el primero cedía al segundo «"la plena y entera propiedad de la ciudad y castillos de Gibraltar, juntamente con su puerto, defensas y fortalezas que le pertenecen, dando la dicha propiedad absolutamente para que la tenga y goce con entero derecho y para siempre, sin excepción ni impedimento alguno"».