[ppa-dev] Theme based on server, database or user

[Jehan-Guillaume de R. <jg...@da...>]

Hello,

Here is a patch that allows to use different theme depending on servers,
users and databases

The priority order is :
  * the theme defined for a server
  * the theme defined for a database apply over the server one
  * the theme defined for a user apply over the database one

This patch answers a feature request we had from a customer, willing to
have different theme between production clusters and dev ones.

On github:
  https://github.com/ioguix/phppgadmin/tree/dyn_themes

Any feedback before I push?
-- 
Jehan-Guillaume de Rorthais
http://www.dalibo.com