phppgadmin/phppgadmin — pull request #5 by rjuju (2012-08-17 08:46:15+00:00)
Title: Fix for using theme in config file by default

Previously, the theme "default" was used whatever was in config file.