module PHP5
imports languages/php/version5/Main
exports
  start-symbols Document