facebook/hhvm — pull request #3278 by SiebelsTim (2014-07-25 18:14:08+00:00)
Title: Add sort_flags to ArrayObject::asort

PHP's documentation doesn't say anything about this. But they against it and it works.