[PHP-DEV] Windows OpCache bug fix

[Matt Ficken]

I want to increase visibility for my PR 1531,
https://github.com/php/php-src/pull/1531, my patch for fixing an
intermittent OpCache issue on Windows.

Details, etc... are on the PR.

Regards
-M