jenkins-bot has submitted this change and it was merged.
Change subject: Detect if ApiSandbox is in core
......................................................................
Detect if ApiSandbox is in core
Bug: T89386
Change-Id: I85c0eedcd31a0e419d8055eca0d9cb1ba872ae62
---
M ApiSandbox.php
A README-deprecated
2 files changed, 12 insertions(+), 0 deletions(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
Luke081515: Looks good to me, but someone else must approve
jenkins-bot: Verified
diff --git a/ApiSandbox.php b/ApiSandbox.php
index 2e8a26b..2043fd7 100644
--- a/ApiSandbox.php
+++ b/ApiSandbox.php
@@ -1,4 +1,14 @@
<?php
+
+// If core contains ApiSandbox, do not process this extension.
+if ( class_exists( 'SpecialApiSandbox' ) ) {
+ // We need to delay executing the wfWarn because GlobalFunctions.php
may not be loaded yet.
+ $wgExtensionFunctions[] = function () {
+ wfLogWarning( "Extension:ApiSandbox is no longer needed with
this version of MediaWiki.\n" );
+ };
+ return;
+}
+
/**
* API sandbox extension. Initial author Max Semenik, based on idea by Salil
P. A.
* License: WTFPL 2.0
diff --git a/README-deprecated b/README-deprecated
new file mode 100644
index 0000000..50a3df7
--- /dev/null
+++ b/README-deprecated
@@ -0,0 +1,2 @@
+The functionality of this extension was merged into mediawiki/core
+in MediaWiki 1.27, Gerrit change https://gerrit.wikimedia.org/r/#/c/209570/
--
To view, visit https://gerrit.wikimedia.org/r/262977
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I85c0eedcd31a0e419d8055eca0d9cb1ba872ae62
Gerrit-PatchSet: 5
Gerrit-Project: mediawiki/extensions/ApiSandbox
Gerrit-Branch: master
Gerrit-Owner: Anomie <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Jackmcbarn <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: Luke081515 <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
