mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-24 14:33:59 +00:00
2f8b3e0d96
Change-Id: Ie92dab7411116d3410195c3fb0a3513c664c0c30
29 lines
805 B
PHP
29 lines
805 B
PHP
<?php
|
|
/**
|
|
* ResourceLoader module for the 'ext.visualEditor.viewPageTarget.init'
|
|
* module. Necessary to incorporate the VisualEditorTabMessages
|
|
* configuration setting.
|
|
*
|
|
* @file
|
|
* @ingroup Extensions
|
|
* @copyright 2011-2015 VisualEditor Team and others; see AUTHORS.txt
|
|
* @license The MIT License (MIT); see LICENSE.txt
|
|
*/
|
|
|
|
class VisualEditorViewPageTargetInitModule extends ResourceLoaderFileModule {
|
|
|
|
public function __construct(
|
|
$options = array(),
|
|
$localBasePath = null,
|
|
$remoteBasePath = null
|
|
) {
|
|
$veConfig = ConfigFactory::getDefaultInstance()->makeConfig( 'visualeditor' );
|
|
$options['messages'] = array_merge(
|
|
$options['messages'],
|
|
array_filter( $veConfig->get( 'VisualEditorTabMessages' ) )
|
|
);
|
|
|
|
parent::__construct( $options, $localBasePath, $remoteBasePath );
|
|
}
|
|
}
|