I modified a php file with sed, but the php-fpm 5.5 opcache was still processing the old file from cache. Maybe with sed just the content changes, but not the "last modified date" file attribute? When I restarted php-fpm, the modified file was processed. What's the best common practise for this? To restart php after file changes?