Rename positiveInt to isPositiveInteger 2, 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 44890a890584c352b3b1ae7fbe6309f88d835b99
Tree 2260d067c4c450addb35e1ab9b99fc78873e13e8
Parent 96070aab6f4fd2802fb24866741f4aec1605455f
Rename positiveInt to isPositiveInteger 2, a=chris
Affected files:
src/library/LocaleFunctions.php
ViewGit