Use size_t instead of int
Merge branch 'PHP-5.5'

* PHP-5.5:
  Use size_t instead of int