terminal42/contao-easy_themes — pull request #2 by Discordier (2012-12-13 18:33:19+00:00)
Title: Compatibility fix for Contao devel branch.

This micro patch makes EasyThemes compatible with Contao devel again.