mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText
synced 2024-11-15 10:59:28 +00:00
15 lines
184 B
PHP
15 lines
184 B
PHP
|
<?php
|
||
|
|
/**
|
||
|
|
* Aliases for special pages
|
||
|
|
*
|
||
|
|
* @file
|
||
|
|
* @ingroup Extensions
|
||
|
|
*/
|
||
|
|
|
||
|
|
$aliases = array();
|
||
|
|
|
||
|
|
/** English */
|
||
|
|
$aliases['en'] = array(
|
||
|
|
'ReplaceText' => array( 'ReplaceText' ),
|
||
|
|
);
|