module PHP4
imports languages/php/version4/Main
exports
  start-symbols Document