Mapbox.js is a Leaflet
plugin. It extends Leaflet functionality with additional code to integrate
with Mapbox services and your data on Mapbox.
The default Mapbox.js file includes a copy of Leaflet pinned to a particular
stable version. If you want just Mapbox.js and to use your own local copy of
Leaflet, go to this page to grab the standalone URLs.