MediaWiki  master
mwdoc-filter.php
Go to the documentation of this file.
1 <?php
27 // Warning: Converting this to a Maintenance script may reduce performance.
28 if ( PHP_SAPI != 'cli' && PHP_SAPI != 'phpdbg' ) {
29  die( "This filter can only be run from the command line.\n" );
30 }
31 
32 require_once __DIR__ . '/includes/MWDoxygenFilter.php';
33 
34 $source = file_get_contents( $argv[1] );
35 echo MWDoxygenFilter::filter( $source );
$source
$source
Definition: mwdoc-filter.php:34