Necessary tools for Wordpress plugin and theme developers