possible de renommer un fichier.php ?

bonjour,
Question de néophyte en php (je n'ai fait que quelques modifications en suivant pas à pas des consignes précises) :
version de php: 7.2.7
Est-il possible de renommer un fichier.php et comment le faire très précisément ?

Suite à l'installation d'un plugin, il y a 2 fichiers variable.php, celui de WP écrasant celui du plugin, selon l'auteur du plugin.
Il propose que je renomme le fichier de WP, je préfère renommer celui du plugin.

Je précise que j'ai un thème enfant.

Est-il possible de faire cette modification, et de façon à ne pas avoir à recommencer à chaque mise à jour ?

Merci d'avance pour vos réponses détaillées.
Bonne journée !

Salut,

Tes fichiers plugin son dans le dossier du plugin associé, je ne comprends donc pas pourquoi tu devrais renommer.
Le fichier du plugin va être écrit ou? As tu plus d'information dans l'erreur?

non, aucune info supplémentaire.
Le SAV du plugin m'a suggéré de renommer le variable.php du thème

Citation:

---

your theme’s variable.php template is replacing the variable.phptemplate of plugin. to fix that you need to find the variable.php template file inside your theme and rename it to some other name like variable2.php in most themes variable.php file is located at wp-content/themes/your-theme/woocommerce/single-product/add-to-cart/variable.php

---

Je l'ai fait mais, même après avoir vidé le cache et désactivé wp rocket, aucun changement : dans les pages produits, il faut toujours sélectionner une option au lieu des visualiser des miniatures.

As tu pensé à vider aussi le cache du navigateur( qui est souvent persistant). Dans ta console as tu une erreur javascript qui peut donner plus d'information si il y a conflit entre extension ou autres?

bien sûr, j'ai actualisé plusieurs fois la page et même changé de navigateur. Aucun message dans la console. J'attends la réponse du sav à mon nouveau message.