jdorn/php-reports — pull request #91 by uded (2013-10-01 13:44:07+00:00)
Title: A theme switcher

There are several different themes available for Bootstrap from Bootswatch.
This extension will enable the user to choose a different one then the default one and stick to it.