equal
deleted
inserted
replaced
1844 } |
1844 } |
1845 */ |
1845 */ |
1846 |
1846 |
1847 if (unknown) { |
1847 if (unknown) { |
1848 // we will not see a corresponding start tag |
1848 // we will not see a corresponding start tag |
1849 // on the the stack. If we are seeing an |
1849 // on the stack. If we are seeing an |
1850 // end tag, lets send this on as an empty |
1850 // end tag, lets send this on as an empty |
1851 // tag with the end tag attribute set to |
1851 // tag with the end tag attribute set to |
1852 // true. |
1852 // true. |
1853 TagElement t = makeTag(elem); |
1853 TagElement t = makeTag(elem); |
1854 handleText(t); |
1854 handleText(t); |