mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-28 18:21:02 +00:00
cc71ec5354
* stylize.php
27 lines
869 B
PHP
27 lines
869 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 ),
|
|
'toc' => array( 'global' => false, 'user' => false ),
|
|
'highlight' => array( 'global' => false, 'user' => false ),
|
|
'templateEditor' => array( 'global' => false, 'user' => false ),
|
|
'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;
|
|
}
|
|
} |