Revisión | 0158485d6c95f76589a28f5fa36ccf568e5c32c0 (tree) |
---|---|
Tiempo | 2021-09-27 01:15:13 |
Autor | umorigu <umorigu@gmai...> |
Commiter | umorigu |
BugTrack/2520 Remove spaces between index string and dagger
@@ -993,7 +993,7 @@ class Body extends Element | ||
993 | 993 | $id = & $autoid; |
994 | 994 | $anchor = ''; |
995 | 995 | } else { |
996 | - $anchor = ' &aname(' . $id . ',super,full,nouserselect){' . $_symbol_anchor . '};'; | |
996 | + $anchor = '&aname(' . $id . ',super,full,nouserselect){' . $_symbol_anchor . '};'; | |
997 | 997 | } |
998 | 998 | |
999 | 999 | $text = ' ' . $text; |