[Mediawiki-i18n] Hindu-Arabic numerals in PHP 7.2

Hello! I know this list is supposed to be for MediaWiki. This more of a PHP question, hope that's okay: I am trying to add support for Hindu–Arabic numerals like ١٢٣٤٥٦٧٨٩٠ to my application for the Kurdish language (ckb) [1]. On my local install (Ubuntu 18.04), the numerals are visible for ckb and PHP properly shows them using NumberFormatter. But in production (Debian Jessie 8.11), it's still showing westernized Arabic like 1234567890 [2]. Both installs are using the same version of PHP (7.2.10), and the same version of ext-intl (1.1.0). I don't think it's related to fonts, because the same Hindu-Arabic numerals work when viewing in Arabic (ar) [3]. Can you think of any reason for this discrepancy? I thought it was all in PHP, but maybe there's some other library that needs to be updated? Thank you! [1] https://phabricator.wikimedia.org/T213503 [2] https://xtools.wmflabs.org/ec-generalstats/en.wikipedia.org/%C3%89pine?usel… [3] https://xtools.wmflabs.org/ec-generalstats/en.wikipedia.org/%C3%89pine?usel… ~Leon