mediawiki-extensions-WikiEd.../tests/selenium/WikiEditorSeleniumConfig.php
Derk-Jan Hartman 55929241a3 WikiEditor: Remove unmaintained highlight plugin
Change-Id: I9740a1197209f177217b034e8b94a90b3905a560
2014-04-03 17:12:07 +02:00

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;
}
}