jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/346499 )
Change subject: Add additional classes cm-mw-ext-{tag name} to extensions tags
......................................................................
Add additional classes cm-mw-ext-{tag name} to extensions tags
They can be used to create specific color themes (T163533)
See also bug T161694
Change-Id: I499e1e4b2e1e4fa972e28fc05a65047ecadc204c
---
M resources/mode/mediawiki/mediawiki.js
1 file changed, 9 insertions(+), 9 deletions(-)
Approvals:
jenkins-bot: Verified
Kaldari: Looks good to me, approved
diff --git a/resources/mode/mediawiki/mediawiki.js
b/resources/mode/mediawiki/mediawiki.js
index 985ce5a..293a497 100644
--- a/resources/mode/mediawiki/mediawiki.js
+++ b/resources/mode/mediawiki/mediawiki.js
@@ -410,11 +410,11 @@
return makeLocalStyle(
'mw-htmltag-name', state );
} // it is the extension tag
if ( isCloseTag ) {
- state.tokenize = eatChar( '>',
'mw-exttag-bracket' );
+ state.tokenize = eatChar( '>',
'mw-exttag-bracket mw-ext-' + name );
} else {
state.tokenize = eatExtTagAttribute(
name );
}
- return makeLocalStyle( 'mw-exttag-name', state
);
+ return makeLocalStyle( 'mw-exttag-name mw-ext-'
+ name, state );
};
}
@@ -439,7 +439,7 @@
function eatExtTagAttribute( name ) {
return function ( stream, state ) {
if ( stream.match( /[^>\/<\{\&~]+/ ) ) {
- return makeLocalStyle(
'mw-exttag-attribute', state );
+ return makeLocalStyle(
'mw-exttag-attribute mw-ext-' + name, state );
}
if ( stream.eat( '>' ) ) {
state.extName = name;
@@ -448,13 +448,13 @@
state.extState =
CodeMirror.startState( state.extMode );
}
state.tokenize = eatExtTagArea( name );
- return makeLocalStyle(
'mw-exttag-bracket', state );
+ return makeLocalStyle(
'mw-exttag-bracket mw-ext-' + name, state );
}
if ( stream.match( '/>' ) ) {
state.tokenize = state.stack.pop();
- return makeLocalStyle(
'mw-exttag-bracket', state );
+ return makeLocalStyle(
'mw-exttag-bracket mw-ext-' + name, state );
}
- return eatWikiText( 'mw-exttag-attribute', ''
)( stream, state );
+ return eatWikiText( 'mw-exttag-attribute
mw-ext-' + name, '' )( stream, state );
};
}
@@ -492,7 +492,7 @@
stream.next(); // eat <
stream.next(); // eat /
state.tokenize = eatTagName( name.length, true,
false );
- return makeLocalStyle( 'mw-exttag-bracket',
state );
+ return makeLocalStyle( 'mw-exttag-bracket
mw-ext-' + name, state );
};
}
@@ -773,7 +773,7 @@
case '<':
isCloseTag = !!stream.eat( '/'
);
tagname = stream.match(
/[^>\/\s\u00a0\.\*\,\[\]\{\}\$\^\+\?\|\/\\'`~<=!@#%&\(\)-]+/ );
- if ( stream.match( '!--' ) ) {
// coment
+ if ( stream.match( '!--' ) ) {
// comment
return chain( eatBlock(
'mw-comment', '-->' ) );
}
if ( tagname ) {
@@ -786,7 +786,7 @@
stream.backUp(
tagname.length );
state.stack.push( state.tokenize );
state.tokenize
= eatTagName( tagname.length, isCloseTag, false );
- return
makeLocalStyle( 'mw-exttag-bracket', state );
+ return
makeLocalStyle( 'mw-exttag-bracket mw-ext-' + tagname, state );
}
if ( tagname in
permittedHtmlTags ) { // Html tag
if ( isCloseTag
=== true && tagname !== state.InHtmlTag.pop() ) {
--
To view, visit https://gerrit.wikimedia.org/r/346499
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I499e1e4b2e1e4fa972e28fc05a65047ecadc204c
Gerrit-PatchSet: 4
Gerrit-Project: mediawiki/extensions/CodeMirror
Gerrit-Branch: master
Gerrit-Owner: Pastakhov <[email protected]>
Gerrit-Reviewer: Kaldari <[email protected]>
Gerrit-Reviewer: Niharika29 <[email protected]>
Gerrit-Reviewer: Pastakhov <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
