Renaming config file
Standardising code
Making plugin compatible with latest phppgadmin on github
Merge branch 'dev'