Extension:Bootstrap

The Bootstrap extension provides the Twitter Bootstrap (version 3) web front-end framework to skins and extensions.

Installation
This extension relies on the lessphp module introduced into MediaWiki in version 1.22, currently available as a development version on git. Make sure to use a recent version. Anything after September 2013 should be ok. If in doubt, try to update.

Using git
The Bootstrap extension contains the Bootstrap library in a subdirectory. The easiest way to download everything at once is to use  with the   parameter.
 * Ensure you have a sufficiently recent development version of MediaWiki 1.22 installed.
 * In your extensions/ folder run the following command
 * Add the following code to your LocalSettings.php (at the bottom)
 * ✅ – Navigate to "Special:Version" on your wiki to verify that the extension is successfully installed.

Using downloads
If the above is not an option for you follow this procedure:
 * Ensure you have a sufficiently recent development version of MediaWiki 1.22 installed.

Issues
The lessphp compiler currently has a bug where certain ways of calling mixins are not supported (see https://github.com/leafo/lessphp/issues/481). To work around that bug the latest version of the Bootstrap extension points the bootstrap submodule to a fork of the Bootstrap repo (https://github.com/s7eph4n/bootstrap.git) where the bug is not triggered. As soon as the bug in lessphp is fixed and the fixed version available in mw core the submodule will be pointed at the official Bootstrap repo (https://github.com/twbs/bootstrap.git) again.

I do not know, if the normal  is sufficient to reflect these changes in your local repo. This procedure worked for me:
 * 1) Go to the bootstrap module's directory and do a   followed by a normal.
 * 2) Then go to the extensions directory (i.e. one up) and modify the .gitmodules file setting the url to.

Contact
Comments, questions and suggestions should be sent or posted to:
 * the Bootstrap discussion page
 * the author