Merge pull request #11056 from AdamWill/9885-opcode

add function to invalidate one opcache file, use it if possible #9885

diff --cc lib/private/config.php
Simple merge

diff --cc lib/private/util.php
Simple merge