Gergő Tisza has uploaded a new change for review.
https://gerrit.wikimedia.org/r/268905
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: I0da6534954cec3c6754402fe82f85235d3233db5
---
M PureWikiDeletion.hooks.php
1 file changed, 1 insertion(+), 1 deletion(-)
git pull
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/PureWikiDeletion
refs/changes/05/268905/1
diff --git a/PureWikiDeletion.hooks.php b/PureWikiDeletion.hooks.php
index fba528e..95ef45f 100644
--- a/PureWikiDeletion.hooks.php
+++ b/PureWikiDeletion.hooks.php
@@ -114,7 +114,7 @@
public static function PureWikiDeletionLink( $skin, $target, &$text,
&$customAttribs, &$query, &$options, &$ret ) {
global $wgPureWikiDeletionBlankLinkStyle;
// If it's on the local wiki, then see if it's blanked
- if ( in_array( 'known', $options ) ) {
+ if ( in_array( 'known', $options, true ) ) {
$dbr = wfGetDB( DB_SLAVE );
$blank_page_id = $target->getArticleID();
if ( $target->getNamespace() == NS_SPECIAL
--
To view, visit https://gerrit.wikimedia.org/r/268905
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I0da6534954cec3c6754402fe82f85235d3233db5
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/PureWikiDeletion
Gerrit-Branch: master
Gerrit-Owner: Gergő Tisza <gti...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
