Fixed a php 7.2 bug in db_pager.inc.
authorJoe Hunt <joe.hunt.consulting@gmail.com>
Wed, 18 Apr 2018 09:23:41 +0000 (11:23 +0200)
committerJoe Hunt <joe.hunt.consulting@gmail.com>
Wed, 18 Apr 2018 09:23:41 +0000 (11:23 +0200)
commit7b76d3bbbde9f30a1659a995d542b7c5a91f9fbf
tree7575b1edf35deb0ea33a706c4c069ecc0f26ebc9
parent86406a97a538125d1b1cb116870f24b379ceefec
Fixed a php 7.2 bug in db_pager.inc.
includes/db_pager.inc