<?php
global $pasdoc;
$pasdoc = array(
  'ok_external_class_hierarchy' => array('html_filename' => 'ok_external_class_hierarchy.html', 'type' => 'unit'),
  'TMyClass0' => array('html_filename' => 'ok_external_class_hierarchy.TMyClass0.html', 'type' => 'class'),
  'TMyClass1' => array('html_filename' => 'ok_external_class_hierarchy.TMyClass1.html', 'type' => 'class'),
  'TMyClass3' => array('html_filename' => 'ok_external_class_hierarchy.TMyClass3.html', 'type' => 'class'),
);
