Extension:Wiki2LaTeX/Development/w2lExporter.php

<?php

/* * File:   w2lExporter.php * Created: 2007-03-02 * Version: 0.7 * * Purpose: * This file has been used to provide functionality, and is empty since W2L 0.7 * * License: * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by * the Free Software Foundation; either version 2 of the License, or * (at your option) any later version. */

if ( !defined('MEDIAWIKI') ) { $msg = 'To install Wiki2LaTeX, put the following line in LocalSettings.php: '; $msg .= 'require_once( $IP."/extensions/path_to_Wiki2LaTeX_files/wiki2latex.php" );'; echo $msg; exit( 1 ); }

// Short and sweet... require_once('wiki2latex.php');