Rename positiveInt to isPositiveInteger 2, a=chris

Chris Pollett [2019-06-28 17:Jun:th]
Rename positiveInt to isPositiveInteger 2, a=chris
Filename
src/library/LocaleFunctions.php
diff --git a/src/library/LocaleFunctions.php b/src/library/LocaleFunctions.php
old mode 100644
new mode 100755
ViewGit