diff options
Diffstat (limited to 'extensions/Gadgets/Gadgets.php')
| -rw-r--r-- | extensions/Gadgets/Gadgets.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extensions/Gadgets/Gadgets.php b/extensions/Gadgets/Gadgets.php index 2b172307..723ce293 100644 --- a/extensions/Gadgets/Gadgets.php +++ b/extensions/Gadgets/Gadgets.php @@ -5,6 +5,7 @@ if ( function_exists( 'wfLoadExtension' ) ) { // Keep i18n globals so mergeMessageFileList.php doesn't break $wgMessagesDirs['Gadgets'] = __DIR__ . '/i18n'; $wgExtensionMessagesFiles['GadgetsAlias'] = __DIR__ . '/Gadgets.alias.php'; + $wgExtensionMessagesFiles['GadgetsNamespaces'] = __DIR__ . '/Gadgets.namespaces.php'; /* wfWarn( 'Deprecated PHP entry point used for Gadgets extension. Please use wfLoadExtension instead, ' . 'see https://www.mediawiki.org/wiki/Extension_registration for more details.' |