pgAdmin 4 commit: 1) Added special handling for the extension to resolv - Mailing list pgadmin-hackers

1) Added special handling for the extension to resolve the dependency.
2) Added 'is_sys_obj' to the ignore list of Schema Diff.
3) Font awesome v5 fixes.

Branch
------
master

Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=8f61944386898c76fbba669bcbb9a134324c9250

Modified Files
--------------
web/pgadmin/browser/static/js/collection.js                       | 2 +-
web/pgadmin/browser/static/js/node.js                             | 6 +++---
web/pgadmin/browser/static/js/toolbar.js                          | 2 +-
web/pgadmin/misc/bgprocess/static/js/bgprocess.js                 | 6 +++---
web/pgadmin/static/js/backform.pgadmin.js                         | 3 +++
web/pgadmin/static/js/backgrid.pgadmin.js                         | 3 +++
web/pgadmin/static/scss/_alertify.overrides.scss                  | 1 -
web/pgadmin/static/scss/_webcabin.pgadmin.scss                    | 6 +++++-
web/pgadmin/tools/datagrid/static/js/datagrid_panel_title.js      | 2 +-
web/pgadmin/tools/schema_diff/compare.py                          | 2 +-
web/pgadmin/tools/schema_diff/static/js/schema_diff_dependency.js | 5 +++++
11 files changed, 26 insertions(+), 12 deletions(-)