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

O que é: Editor de plug-ins

O editor de plugins é um editor de texto simples localizado em Plugins ” Editor. Ele permite que os usuários visualizem e editem arquivos de plug-in na área de administração do WordPress.

Plugin editor in WordPress

O editor de plug-ins tem uma área de texto na qual ele abre os arquivos de plug-ins. No lado direito, ele lista todos os arquivos do plugin selecionado. Há um menu suspenso na parte superior que permite selecionar o plug-in que você deseja editar.

É importante observar que todas as alterações feitas diretamente nos arquivos principais do plug-in serão substituídas quando você atualizar o plug-in. Em teoria, você nunca deve usar o editor de plug-ins para editar nenhum arquivo. Muitas vezes, os desenvolvedores usam o editor interno para visualizar o código e fazer as alterações apropriadas utilizando um gancho ou filtro dentro do plug-in. Se, por algum motivo, você achar absolutamente necessário editar o arquivo principal do plug-in, recomendamos que fale primeiro com o autor do plug-in. Talvez haja uma maneira melhor de realizar o que você está tentando fazer em vez de modificar o arquivo principal do plug-in. A única razão pela qual dizemos isso é porque você não quer perder tempo fazendo as modificações toda vez que atualizar o plug-in. Ao mesmo tempo, você não quer parar de fazer atualizações do plug-in, pois isso pode colocá-lo em sério risco de segurança caso haja uma vulnerabilidade no plug-in.

Ao contrário do editor de temas, se você cometer um erro de sintaxe no editor de plug-ins, ele não o impedirá de acessar o administrador do WordPress. Ele simplesmente desativará o plug-in e explicará o erro para você.

Por fim, você só deve usar essa seção se souber o que está fazendo.

Leitura adicional

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.

O kit de ferramentas definitivo WordPress

Obtenha acesso GRATUITO ao nosso kit de ferramentas - uma coleção de produtos e recursos relacionados ao WordPress que todo profissional deve ter!