Delete prism-php-extras.js