mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-30 19:15:43 +00:00
b8bdd64ee5
For MW installations where BetaFeatures is not available, Realtime Preview is enabled solely with the $wgWikiEditorRealtimePreview configuration setting. Bug: T304596 Change-Id: I880022883bf526a2aef237f4a75e790b0f9bd4e5
26 lines
571 B
PHP
26 lines
571 B
PHP
<?php
|
|
|
|
$cfg = require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
|
|
|
|
$cfg['directory_list'] = array_merge(
|
|
$cfg['directory_list'],
|
|
[
|
|
'../../extensions/EventLogging',
|
|
'../../extensions/WikimediaEvents',
|
|
'../../extensions/ConfirmEdit',
|
|
'../../extensions/BetaFeatures',
|
|
]
|
|
);
|
|
|
|
$cfg['exclude_analysis_directory_list'] = array_merge(
|
|
$cfg['exclude_analysis_directory_list'],
|
|
[
|
|
'../../extensions/EventLogging',
|
|
'../../extensions/WikimediaEvents',
|
|
'../../extensions/ConfirmEdit',
|
|
'../../extensions/BetaFeatures',
|
|
]
|
|
);
|
|
|
|
return $cfg;
|