wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-12-02 18:56:38 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use single quotes instead of double quotes in PHP

Browse source 
Change-Id: I9d32e36a14c25139cd735bd6657c5d46df573e15
This commit is contained in:
Fomafix 2021-10-30 19:14:37 +00:00
parent 9b1bd68d98
commit bcb7eed32d
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
includes/CodeEditorHooks.php
View file

@ -50,9 +50,9 @@ class CodeEditorHooks {
$output->addModules( 'ext.codeEditor' ); $output->addModules( 'ext.codeEditor' );
$output->addJsConfigVars( 'wgCodeEditorCurrentLanguage', $lang ); $output->addJsConfigVars( 'wgCodeEditorCurrentLanguage', $lang );
// Needed because ACE adds a blob: url web-worker. // Needed because ACE adds a blob: url web-worker.
$output->getCSP()->addScriptSrc( "blob:" ); $output->getCSP()->addScriptSrc( 'blob:' );
} elseif ( !ExtensionRegistry::getInstance()->isLoaded( "WikiEditor" ) ) { } elseif ( !ExtensionRegistry::getInstance()->isLoaded( 'WikiEditor' ) ) {
throw new ErrorPageError( "codeeditor-error-title", "codeeditor-error-message" ); throw new ErrorPageError( 'codeeditor-error-title', 'codeeditor-error-message' );
} }
} }
} }