update ```php highlight