Patch title: Release 89 bulk changes
Abstract:
File: /appli/pad/virtual_tree.page
Key:
    Removed line
    Added line
module "database.pli"
module "display.pli"
module "/pliant/protocol/common/mime.pli"

if (virtual_path parse "/" any:(var Str id) "/file/" any:(var Str filename))
  var Data:PadPage pad :> pad_database:data:page:id
  if not exists:pad
    [No such PAD file.]
  eif user_name=pad:user or pad:read<>"" and (allowed pad:read)
    var Str ext := filename (filename search_last "." filename:len) filename:len
    var Str mime := query_mime_type ext
    if mime=""
      mime := "binary/*"
    reset_http_answer
    http_request send_static_file pad:path+filename "mime "+string:mime
  else
    [You are not allowed to download this PAD file.]
eif (virtual_path parse "/" any:(var Str id))
  var Data:PadPage pad :> pad_database:data:page:id
  if not exists:pad
    [No such PAD page.]
  eif (options option "edit")
    if user_name=pad:user or pad:write<>"" and (allowed pad:write)
      pad_edit pad
    else
      [You are not allowed to edit this PAD page.]
  else
    if user_name=pad:user or pad:read<>"" and (allowed pad:read)
      pad_display pad
    else
      [You are not allowed to view this PAD page.]
    if user_name=pad:user or pad:write<>"" and (allowed pad:write)
      para
        button "edit"
          goto_url id no_extension options "edit"
else
  [Unsupported URL.]