PHP Page::dumpToTex Examples

Example #1

File: Pages.php Project: GitHubTianPeng/101worker

 function dumpToTex()
 {
     if ($this->content == NULL) {
         return "";
     }
     return parent::dumpToTex();
 }