mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-27 17:20:40 +00:00
16 lines
239 B
PHP
16 lines
239 B
PHP
|
<?php
|
||
|
/**
|
||
|
* Aliases for special pages for extension Echo
|
||
|
*
|
||
|
* @file
|
||
|
* @ingroup Extensions
|
||
|
*/
|
||
|
|
||
|
$specialPageAliases = array();
|
||
|
|
||
|
/** English (English) */
|
||
|
$specialPageAliases['en'] = array(
|
||
|
'Notifications' => array( 'Notifications' )
|
||
|
);
|
||
|
|