jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/372911 )
Change subject: Remove legacy BoilerPlate.php shim
......................................................................
Remove legacy BoilerPlate.php shim
Change-Id: I2e25c9a867b07e8bd02e8f29d9cfd39b76c2bc62
---
D BoilerPlate.php
1 file changed, 0 insertions(+), 15 deletions(-)
Approvals:
jenkins-bot: Verified
Jforrester: Looks good to me, approved
diff --git a/BoilerPlate.php b/BoilerPlate.php
deleted file mode 100644
index 4f9a370..0000000
--- a/BoilerPlate.php
+++ /dev/null
@@ -1,15 +0,0 @@
-<?php
-
-if ( function_exists( 'wfLoadExtension' ) ) {
- wfLoadExtension( 'BoilerPlate' );
- // Keep i18n globals so mergeMessageFileList.php doesn't break
- $wgMessagesDirs['BoilerPlate'] = __DIR__ . '/i18n';
- $wgExtensionMessagesFiles['BoilerPlateAlias'] = __DIR__ .
'/BoilerPlate.i18n.alias.php';
- wfWarn(
- 'Deprecated PHP entry point used for BoilerPlate extension.
Please use wfLoadExtension ' .
- 'instead, see
https://www.mediawiki.org/wiki/Extension_registration for more details.'
- );
- return true;
-} else {
- die( 'This version of the BoilerPlate extension requires MediaWiki
1.25+' );
-}
--
To view, visit https://gerrit.wikimedia.org/r/372911
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2e25c9a867b07e8bd02e8f29d9cfd39b76c2bc62
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/BoilerPlate
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
