wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-24 18:58:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Replace class_exists with ExtensionRegistry::isLoaded()

Browse source 
Change-Id: I229f83cd18473bb3c89c376b0e2ec62d13feff37
This commit is contained in:
James D. Forrester 2020-04-20 15:07:01 -07:00
parent 71b3c4baf9
commit a4dee12d83
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/ApiVisualEditorEdit.php
View file

@ -443,7 +443,7 @@ class ApiVisualEditorEdit extends ApiVisualEditor {
$result['isRedirect'] = (string)$title->isRedirect();
if ( class_exists( FlaggablePageView::class ) ) {
if ( ExtensionRegistry::getInstance()->isLoaded( 'FlaggedRevs' ) ) {
$view = FlaggablePageView::singleton();
$originalContext = $view->getContext();