re-introduce leaner/simpler encodeHTML(String aText) method, we need it for the admin...
authormh <mh>
Tue, 10 Dec 2002 09:07:50 +0000 (09:07 +0000)
committermh <mh>
Tue, 10 Dec 2002 09:07:50 +0000 (09:07 +0000)
commit0ea8b821ae0f09a7638fe9e427654ddd395c48d8
tree3f8af12599c94c7210ea5577574a198786c91faf
parentdb974b09ac6b0b4e2f16f2cea8d2781ce820b83c
re-introduce leaner/simpler encodeHTML(String aText) method, we need it for the admin interface so that we can actually edit the HTML. It needed indexOfCharacters and interpretAsString. all taken from the StringRoutines file in HEAD. also add deleteHTMLTableTags..
source/mir/misc/StringUtil.java