[MediaWiki-commits] [Gerrit] Use square brackets instead of curly braces for char of a st... - change (mediawiki/core)

[Umherirrender (Code Review)]

Umherirrender has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/97314


Change subject: Use square brackets instead of curly braces for char of a string
......................................................................

Use square brackets instead of curly braces for char of a string

The use of curly braces is deprecated in php 4.0, so changing it to
square brackets

Change-Id: I807da8c873bb937ee32df75c27d632075bc84be1
---
M includes/db/DatabaseOracle.php
1 file changed, 2 insertions(+), 2 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core 
refs/changes/14/97314/1

diff --git a/includes/db/DatabaseOracle.php b/includes/db/DatabaseOracle.php
index 13bb8ea..10715e4 100644
--- a/includes/db/DatabaseOracle.php
+++ b/includes/db/DatabaseOracle.php
@@ -1107,7 +1107,7 @@
                        if ( $sl < 0 ) {
                                continue;
                        }
-                       if ( '-' == $line{0} && '-' == $line{1} ) {
+                       if ( '-' == $line[0] && '-' == $line[1] ) {
                                continue;
                        }
 
@@ -1121,7 +1121,7 @@
                                        $dollarquote = true;
                                }
                        } elseif ( !$dollarquote ) {
-                               if ( ';' == $line{$sl} && ( $sl < 2 || ';' != 
$line{$sl - 1} ) ) {
+                               if ( ';' == $line[$sl] && ( $sl < 2 || ';' != 
$line[$sl - 1] ) ) {
                                        $done = true;
                                        $line = substr( $line, 0, $sl );
                                }

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I807da8c873bb937ee32df75c27d632075bc84be1
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits