Patch title: Replace minus with star in buttons encoding

Abstract:

File: /pliant/protocol/http/style/common.pli

Key:

	Removed line
	Added line

module "/pliant/language/compiler.pli" module "/pliant/language/context.pli" module "/pliant/language/stream.pli" module "/pliant/admin/file.pli" module "/pliant/protocol/http/server.pli" module "/pliant/admin/md5.pli" submodule "/pliant/graphic/color/rgb888.pli" submodule "/pliant/protocol/http/stack.pli" method p set_subpage index id context arg_rw HtmlPage p ; arg Int index ; arg Str id context

var Str url := "button-0-0-"+id+"-"+(p:request cipher cont

var Str url := "button*0*0*"+id+"*"+(p:request cipher context)+"*"+(p:request generate_signature id+" "+context)

p:html_stack push index addressof:url Str