pgAdmin 4 commit: Add backgrid extensions for use in various tools: sel

Add backgrid extensions for use in various tools: select-all, paginator and filter

Branch
------
master

Details
-------
http://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=b3ff96d2db36f766c7647465bcdab798b57a4d31
Author: Akshay Joshi <akshay(dot)joshi(at)enterprisedb(dot)com>

Modified Files
--------------
libraries.txt | 46 +-
.../static/css/backgrid/backgrid-filter.css | 201 +++
.../static/css/backgrid/backgrid-filter.min.css | 1 +
.../static/css/backgrid/backgrid-paginator.css | 58 +
.../static/css/backgrid/backgrid-paginator.min.css | 1 +
.../static/css/backgrid/backgrid-select-all.css | 12 +
.../css/backgrid/backgrid-select-all.min.css | 1 +
web/pgadmin/static/js/backbone.paginator.js | 1339 ++++++++++++++++++++
web/pgadmin/static/js/backbone.paginator.min.js | 8 +
web/pgadmin/static/js/backgrid/backgrid-filter.js | 512 ++++++++
.../static/js/backgrid/backgrid-filter.min.js | 8 +
.../static/js/backgrid/backgrid-paginator.js | 433 +++++++
.../static/js/backgrid/backgrid-paginator.min.js | 8 +
.../static/js/backgrid/backgrid-select-all.js | 294 +++++
.../static/js/backgrid/backgrid-select-all.min.js | 8 +
web/pgadmin/templates/base.html | 20 +
16 files changed, 2929 insertions(+), 21 deletions(-)