mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-25 00:37:23 +00:00
55929241a3
Change-Id: I9740a1197209f177217b034e8b94a90b3905a560
25 lines
679 B
PHP
25 lines
679 B
PHP
<?php
|
|
|
|
class WikiEditorSeleniumConfig {
|
|
|
|
public static function getSettings( &$includeFiles, &$globalConfigs ) {
|
|
$includes = array(
|
|
'extensions/Vector/Vector.php',
|
|
'extensions/WikiEditor/WikiEditor.php'
|
|
);
|
|
$configs = array(
|
|
'wgDefaultSkin' => 'vector',
|
|
'wgWikiEditorFeatures' => array(
|
|
'toolbar' => array( 'global' => true, 'user' => true ),
|
|
'dialogs' => array( 'global' => true, 'user' => true )
|
|
),
|
|
'wgVectorFeatures' => array(
|
|
'editwarning' => array( 'global' => false, 'user' => false )
|
|
)
|
|
);
|
|
$includeFiles = array_merge( $includeFiles, $includes );
|
|
$globalConfigs = array_merge( $globalConfigs, $configs );
|
|
return true;
|
|
}
|
|
}
|