}
+ public function page_path($page, $path = ''): string {
+ // TODO: Implement page_path() method.
+ }
+
+ public function addJsLib($name, $files) {
+ // TODO: Implement addJsLib() method.
+ }
}
public function virtualToPhysical($virtual);
public function getPagePDFSource($page): string;
+
+ public function addJsLib($name, $files);
}
public function getPagePDFSource($page): string {
// TODO: Implement getPagePDFSource() method.
}
+
+ public function addJsLib($name, $files) {
+ // TODO: Implement addJsLib() method.
+ }
}