Trusted WordPress tutorials, when you need them most.
Beginner’s Guide to WordPress
Coppa WPB
25 Million+
Websites using our plugins
16+
Years of WordPress experience
3000+
WordPress tutorials
by experts

Che cos'è: Editore di plugin

L’editor di plugin è un semplice editor di testo che si trova in Plugin ” Editore. Consente agli utenti di visualizzare e modificare i file dei plugin dall’area di amministrazione di WordPress.

Plugin editor in WordPress

L’editor di testo ha un’area di testo in cui apre i file dei plugin. Sulla destra sono elencati tutti i file del plugin selezionato. In alto è presente un menu a discesa che consente di selezionare il plugin che si desidera modificare.

È importante notare che qualsiasi modifica apportata direttamente ai file principali del plugin verrà sovrascritta al momento dell’aggiornamento del plugin. In teoria, non si dovrebbe mai usare l’editore dei plugin per modificare i file. Spesso gli sviluppatori utilizzano l’editor integrato per visualizzare il codice e apportare le modifiche appropriate utilizzando un hook o un filtro all’interno del plugin. Se per qualche motivo si ha l’assoluta necessità di modificare il file principale del plugin, si consiglia di parlarne prima con l’autore del plugin. Forse esiste un modo migliore per realizzare ciò che si sta cercando di fare, piuttosto che modificare il file centrale del plugin. L’unico motivo per cui diciamo questo è che non si vuole perdere tempo ad apportare le modifiche ogni volta che si aggiorna il plugin. Allo stesso tempo, non si vuole interrompere l’aggiornamento del plugin, perché questo potrebbe mettere a serio rischio la sicurezza in caso di vulnerabilità del plugin.

A differenza dell’editor di temi, se si commette un errore di sintassi nell’editore del plugin, non ci si blocca dall’amministrazione di WordPress. Semplicemente disattiverà il plugin e vi spiegherà l’errore.

Infine, questa sezione va utilizzata solo se si sa cosa si sta facendo.

Ulteriori letture

Avatar

Editorial Staff at WPBeginner is a team of WordPress experts led by Syed Balkhi with over 16 years of experience in WordPress, Web Hosting, eCommerce, SEO, and Marketing. Started in 2009, WPBeginner is now the largest free WordPress resource site in the industry and is often referred to as the Wikipedia for WordPress.

Il kit di strumenti WordPress definitivo

Ottenete l'accesso gratuito al nostro kit di strumenti - una raccolta di prodotti e risorse relative a WordPress che ogni professionista dovrebbe avere!