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
lessphp currently has a bug where certain ways of calling mixins are not supported (see https://github.com/leafo/lessphp/issues/481). 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 this bug is not present. 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 a simple  is sufficient to reflect these changes in your local repo. Might be you have to fiddle around with  or something like that.

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