Ladsgroup has uploaded a new change for review. https://gerrit.wikimedia.org/r/268049
Change subject: Add ORES.php ...................................................................... Add ORES.php Change-Id: I86e3083527142d19341a1ca28b12b5340b6e7b66 --- A ORES.php 1 file changed, 30 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/ORES refs/changes/49/268049/1 diff --git a/ORES.php b/ORES.php new file mode 100644 index 0000000..81d4851 --- /dev/null +++ b/ORES.php @@ -0,0 +1,30 @@ +<?php + +/** + * ORES extension + * + * This PHP entry point is deprecated. Please use wfLoadExtension() and the extension.json file + * instead. See https://www.mediawiki.org/wiki/Manual:Extension_registration for more details. + * + * @file + * @ingroup Extensions + * @copyright 2015-2016 Revscoring team and others; + * @license CC0 + */ + +if ( function_exists( 'wfLoadExtension' ) ) { + wfLoadExtension( 'ORES' ); + + // Keep i18n globals so mergeMessageFileList.php doesn't break + $wgMessagesDirs['ORES'] = array( + __DIR__ . '/i18n', + ); + + /* wfWarn( + 'Deprecated PHP entry point used for VisualEditor extension. Please use wfLoadExtension '. + 'instead, see https://www.mediawiki.org/wiki/Extension_registration for more details.' + ); */ + return true; +} + +die( 'This version of the ORES extension requires MediaWiki 1.25+.' ); -- To view, visit https://gerrit.wikimedia.org/r/268049 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I86e3083527142d19341a1ca28b12b5340b6e7b66 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/ORES Gerrit-Branch: master Gerrit-Owner: Ladsgroup <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
