jenkins-bot has submitted this change and it was merged.

Change subject: Make makeStaticLoader.php pass phpcs
......................................................................


Make makeStaticLoader.php pass phpcs

Change-Id: Ibdf95ca3c3047d497b05cbe195f8b839f111f12e
---
M maintenance/makeStaticLoader.php
1 file changed, 4 insertions(+), 4 deletions(-)

Approvals:
  Krinkle: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/maintenance/makeStaticLoader.php b/maintenance/makeStaticLoader.php
index 1231e29..96085b9 100644
--- a/maintenance/makeStaticLoader.php
+++ b/maintenance/makeStaticLoader.php
@@ -73,11 +73,11 @@
 
                // Path to /modules/
                $vePath = $this->getOption( 've-path',
-                       $target === 'demo'
+                       $target === 'demo' ?
                        // From /demos/ve/index.php
-                       ? '../../modules'
+                       '../../modules' :
                        // From /modules/ve/test/index.html
-                       : '../..'
+                       '../..'
                );
 
                $wgResourceModules['Dependencies'] = array(
@@ -141,7 +141,7 @@
                        've/init/sa/ve.init.sa.Target.js',
                ) );
 
-               $self = isset( $_SERVER['PHP_SELF'] ) ? $_SERVER['PHP_SELF'] :  
( lcfirst( __CLASS__ ) . '.php' );
+               $self = isset( $_SERVER['PHP_SELF'] ) ? $_SERVER['PHP_SELF'] : 
( lcfirst( __CLASS__ ) . '.php' );
 
                $head = $body = '';
 

-- 
To view, visit https://gerrit.wikimedia.org/r/89219
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ibdf95ca3c3047d497b05cbe195f8b839f111f12e
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Catrope <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to