php/php-src — pull request #724 by TazeTSchnitzel (2014-07-16 15:02:36+00:00)
Title: Implemented %% integer division operator

https://wiki.php.net/rfc/intdiv

There's also a pull request that just adds a function to `ext/standard` instead, in case I can't get the operator in: https://github.com/php/php-src/pull/722