Rename positiveInt to isPositiveInteger, a=chris

Author Chris Pollett <chris@pollett.org>
Author date 2019-06-28 17:Jun:th
Author local date 2019-06-28 10:Jun:th -0700
Committer Chris Pollett <chris@pollett.org>
Committer date 2019-06-28 17:Jun:th
Committer local date 2019-06-28 10:Jun:th -0700
Commit 96070aab6f4fd2802fb24866741f4aec1605455f
Tree 21a68238b9563d3a97ad2d5ee4c712090fdff81b
Parent d671a4a354f6413185a32d15630df0dd9d386e09
Rename positiveInt to isPositiveInteger, a=chris
Affected files:
src/controllers/AdminController.php
src/controllers/Controller.php
src/controllers/GroupController.php
src/controllers/SettingsController.php
src/library/LocaleFunctions.php
src/library/Utility.php
ViewGit