Making plugin compatible with latest phppgadmin on github