Update WpDevTool/wpdevtool.php