woocommerce_short_description.php

<?php
/**
 * Hook: woocommerce_short_description.
 * Modify the HTML for the short description.
 */
function plugin_republic_short_description( $short_description ) {
  // Modify the $short_description HTML here
  return $short_description;
}
add_filter( 'woocommerce_short_description', 'plugin_republic_short_description', 10, 1 );