What is a WordPress plugin?

>