jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/332886 )
Change subject: Remove out of date doc ...................................................................... Remove out of date doc Change-Id: I1e9bb4cc4ac5b29fa088bb2b60a1eed4131f8730 --- M src/InterwikiSorter.php 1 file changed, 0 insertions(+), 3 deletions(-) Approvals: Aude: Looks good to me, approved jenkins-bot: Verified diff --git a/src/InterwikiSorter.php b/src/InterwikiSorter.php index 02ced82..1456286 100644 --- a/src/InterwikiSorter.php +++ b/src/InterwikiSorter.php @@ -12,9 +12,6 @@ */ class InterwikiSorter { - /** - * @see Documentation of "sort" and "interwikiSortOrders" options in docs/options.wiki. - */ const SORT_CODE = 'code'; /** -- To view, visit https://gerrit.wikimedia.org/r/332886 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I1e9bb4cc4ac5b29fa088bb2b60a1eed4131f8730 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/InterwikiSorting Gerrit-Branch: master Gerrit-Owner: Addshore <addshorew...@gmail.com> Gerrit-Reviewer: Andrew-WMDE <andrew.kos...@wikimedia.de> Gerrit-Reviewer: Aude <aude.w...@gmail.com> Gerrit-Reviewer: Tobias Gritschacher <tobias.gritschac...@wikimedia.de> Gerrit-Reviewer: WMDE-Fisch <christoph.jau...@wikimedia.de> Gerrit-Reviewer: WMDE-leszek <leszek.mani...@wikimedia.de> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits