diff options
Diffstat (limited to 'includes/OutputPage.php')
| -rw-r--r-- | includes/OutputPage.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/OutputPage.php b/includes/OutputPage.php index f344fe404cd1..e859ed222996 100644 --- a/includes/OutputPage.php +++ b/includes/OutputPage.php @@ -1,7 +1,7 @@ <?php # See design.doc -if($wgUseTeX) include_once( "Math.php" ); +if($wgUseTeX) require_once( "Math.php" ); class OutputPage { var $mHeaders, $mCookies, $mMetatags, $mKeywords; |