modifying a WordPress plugin