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.
28if ( PHP_SAPI != 'cli' && PHP_SAPI != 'phpdbg' ) {
29 die( "This filter can only be run from the command line.\n" );
30}
31
32require_once __DIR__ . '/includes/MWDoxygenFilter.php';
33
34$source = file_get_contents( $argv[1] );
35echo MWDoxygenFilter::filter( $source );
$source