MarkTraceur has submitted this change and it was merged.
Change subject: Fetch wgCapitalLinks and follow it
......................................................................
Fetch wgCapitalLinks and follow it
The directives of the parent wiki must be obeyed.
Bug: 42122
Change-Id: I02986880eae5fbdfc78a11f29fd255c30c3d4fde
---
M js/lib/mediawiki.WikiConfig.js
M js/lib/mediawiki.parser.environment.js
2 files changed, 7 insertions(+), 1 deletion(-)
Approvals:
MarkTraceur: Verified; Looks good to me, approved
jenkins-bot: Verified
diff --git a/js/lib/mediawiki.WikiConfig.js b/js/lib/mediawiki.WikiConfig.js
index f08461f..4733dd9 100644
--- a/js/lib/mediawiki.WikiConfig.js
+++ b/js/lib/mediawiki.WikiConfig.js
@@ -179,6 +179,12 @@
} else {
conf.linkPrefixRegex = null;
}
+
+ if ( general['case'] === 'case-sensitive' ) {
+ conf.caseSensitive = true;
+ } else {
+ conf.caseSensitive = false;
+ }
}
if ( !conf.baseURI ) {
diff --git a/js/lib/mediawiki.parser.environment.js
b/js/lib/mediawiki.parser.environment.js
index 2c34d12..c87c1bb 100644
--- a/js/lib/mediawiki.parser.environment.js
+++ b/js/lib/mediawiki.parser.environment.js
@@ -288,7 +288,7 @@
} else {
name = upperFirst( ns ) + ':' + upperFirst(
name.substr( ns.length + 1 ) );
}
- } else {
+ } else if ( !self.conf.wiki.caseSensitive ) {
name = upperFirst( name );
}
}
--
To view, visit https://gerrit.wikimedia.org/r/56352
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I02986880eae5fbdfc78a11f29fd255c30c3d4fde
Gerrit-PatchSet: 4
Gerrit-Project: mediawiki/extensions/Parsoid
Gerrit-Branch: master
Gerrit-Owner: Mollywhite <[email protected]>
Gerrit-Reviewer: GWicke <[email protected]>
Gerrit-Reviewer: Jeremyb <[email protected]>
Gerrit-Reviewer: MarkTraceur <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
