Update to MediaWiki 1.25.1

1 files changed, 15 insertions, 0 deletions

diff --git a/extensions/CiteThisPage/CiteThisPage.php b/extensions/CiteThisPage/CiteThisPage.php
new file mode 100644
index 00000000..34b85e04
--- /dev/null
+++ b/extensions/CiteThisPage/CiteThisPage.php
@@ -0,0 +1,15 @@
+<?php
+
+if ( function_exists( 'wfLoadExtension' ) ) {
+	wfLoadExtension( 'CiteThisPage' );
+	// Keep i18n globals so mergeMessageFileList.php doesn't break
+	$wgMessagesDirs['CiteThisPage'] = __DIR__ . '/i18n';
+	$wgExtensionMessagesFiles['CiteThisPageAliases'] = __DIR__ . '/CiteThisPage.alias.php';
+	/* wfWarn(
+		'Deprecated PHP entry point used for CiteThisPage extension. Please use wfLoadExtension instead, ' .
+		'see https://www.mediawiki.org/wiki/Extension_registration for more details.'
+	); */
+	return;
+} else {
+	die( 'This version of the CiteThisPage extension requires MediaWiki 1.25+' );
+}