Issue 2519

[Michael Shapiro]

What is the status of https://redmine.postgresql.org/issues/2519?
The feature that was in PgAdmin3 of the browser being able to show the
trigger function from the table was really useful. Will that be added back
to PgAdmin4?