Show More
| @@ -13,6 +13,7 b'' | |||||
| 13 | $ filterhtml () { |
|
13 | $ filterhtml () { | |
| 14 | > sed -e "s/class=\"k\"/class=\"kn\"/g" \ |
|
14 | > sed -e "s/class=\"k\"/class=\"kn\"/g" \ | |
| 15 | > -e "s/class=\"mf\"/class=\"mi\"/g" \ |
|
15 | > -e "s/class=\"mf\"/class=\"mi\"/g" \ | |
|
|
16 | > -e "s/class=\"vm\"/class=\"n\"/g" \ | |||
| 16 | > -e "s/class=\"\([cs]\)[h12]\"/class=\"\1\"/g" |
|
17 | > -e "s/class=\"\([cs]\)[h12]\"/class=\"\1\"/g" | |
| 17 | > } |
|
18 | > } | |
| 18 |
|
19 | |||
General Comments 0
You need to be logged in to leave comments.
Login now