jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/372868 )
Change subject: Remove leading spaces
......................................................................
Remove leading spaces
Change-Id: I1acf3d018ac2cf55e9cbe1a410445bc74c418a4c
---
M ResourceLoaderCodeMirrorModule.php
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
MaxSem: Looks good to me, approved
jenkins-bot: Verified
diff --git a/ResourceLoaderCodeMirrorModule.php
b/ResourceLoaderCodeMirrorModule.php
index 457d5cd..708abc7 100644
--- a/ResourceLoaderCodeMirrorModule.php
+++ b/ResourceLoaderCodeMirrorModule.php
@@ -31,8 +31,8 @@
return ResourceLoader::makeConfigSetScript(
[ 'extCodeMirrorConfig' =>
$this->getFrontendConfiguraton() ]
)
- . "\n"
- . parent::getScript( $context );
+ . "\n"
+ . parent::getScript( $context );
}
/**
--
To view, visit https://gerrit.wikimedia.org/r/372868
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I1acf3d018ac2cf55e9cbe1a410445bc74c418a4c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CodeMirror
Gerrit-Branch: master
Gerrit-Owner: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: MaxSem <maxsem.w...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
