Comment 9 for bug 614481

I'd like to request that this bug have a higher priority; for me, at least this completely breaks phppgadmin - without the workaround - as I get a deprecated warning instead of the initial banner page.