我想解析 html 以获取标记属性，但我想使用子字符串函数更改该属性的值。我正在使用带有 TFHpple 插件的 libxml2.2.tdb 框架
要解析的 HTML：
<div>
<img src="00-abc.jpg">
</div>
我想得到什么：
abc.jpg
我尝试了什么（但没有奏效）：
substring(//div/img/@src, 3)
replace(//div/img/@src, "00-")
//div/img/@src[substring(., 3)]