Umherirrender has submitted this change and it was merged.

Change subject: Use strict array search for linker options.
......................................................................


Use strict array search for linker options.

This is in anticipation of gerrit change
I16b9d6c3044ae60d5a7fd340569c019ffc4b2a55 (and a good practice
anyway).

Change-Id: I26ec595de1efdca7f207f1fedcfa4853c6b4e00b
---
M RPED.hooks.php
1 file changed, 2 insertions(+), 2 deletions(-)

Approvals:
  Anomie: Looks good to me, approved
  Umherirrender: Verified; Looks good to me, approved



diff --git a/RPED.hooks.php b/RPED.hooks.php
index 402cc15..2565a22 100644
--- a/RPED.hooks.php
+++ b/RPED.hooks.php
@@ -70,7 +70,7 @@
                        return true;
                }
                // Return immediately if we know it's existent on the local wiki
-               if ( in_array( 'known', $options ) ) {
+               if ( in_array( 'known', $options, true ) ) {
                        if ( !isset( $query['action'] ) && !isset( 
$query['curid'] ) ) {
                                $customAttribs['style'] = $wgLocalStyle;
                        }
@@ -98,7 +98,7 @@
 
                // If it doesn't exist on the local wiki, then see if it exists 
on the
                // remote wiki (Wikipedia)
-               if ( in_array( 'broken', $options ) || $itIsBlank == true ) {
+               if ( in_array( 'broken', $options, true ) || $itIsBlank == true 
) {
                        $title = $target->getPrefixedText ();
                        $fragment = htmlentities($target->getFragmentForURL());
 

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I26ec595de1efdca7f207f1fedcfa4853c6b4e00b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/RPED
Gerrit-Branch: master
Gerrit-Owner: Gergő Tisza <gti...@wikimedia.org>
Gerrit-Reviewer: Anomie <bjor...@wikimedia.org>
Gerrit-Reviewer: BryanDavis <bda...@wikimedia.org>
Gerrit-Reviewer: Gergő Tisza <gti...@wikimedia.org>
Gerrit-Reviewer: Umherirrender <umherirrender_de...@web.de>

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

Reply via email to