Вы можете сделать это очень легко с помощью небольшого регулярного выражения:
$k = 2;
$input = '<div style="padding:10px 15px; font-size:1em ;height:2%;"></div>';
$input = preg_replace_callback('/\d+/', function($matches) use ($k) {
return $matches[0] * $k;
}, $input);
При этом используется синтаксис анонимной функции, введенный в PHP 5.3.Обратите внимание, что это изменит все числа в строке, а не только те, что в style
атрибутах.Вам нужно будет использовать DOM-разбор, если вы хотите этого избежать.
Вы также можете обнаружить, что ваши стили не так легко удваиваются ...