plugin.php in theme-default updated