mediawiki-extensions-VisualEditor/VisualEditorViewPageTargetInitModule.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 );
	}
}