mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-25 00:37:23 +00:00
7721909f9f
* Code clean up in preparation for enabling linting in the future * Update code to use latest code conventions and best practices: - Make use of jQuery.Event (e.g. no need to check both e.keyCode and e.which) - jQuery: .size() -> .length - jQuery: (where appropiate) .attr() -> .prop() Setting properties like 'checked' via attr() has been deprecated in jQuery. - Whitespace - Single quotes instead of double quotes - Use literal keys in object literals instead of strings - Pass mediaWiki to closure, use mw. locally instead of "mediaWiki" global directly. - Fix indentation - Brackets around if, else and for bodies - Strict comparison to 0, null, false, true etc. - Fix missing radix parameter in parseInt - Use local $ instead of global $ - Use `foo || bar` instead of `foo ? foo : bar` - Variable scope hoisting - Double/redundant variable declarations - ['foo'] is better written in dot notation - New line at EOF - Consistency in jQuery construction: Tag name for element creation $( '<div>' ) Valid html for html parsing $( '<div foo="bar"></div>' ) - Fix regex escape warnings per JSLint/JSHint. Do escape ][, don't escape >< - .. * Add .jshintrc / .jshintignore * Updated most files, but not all. Too much at once. Change-Id: I445639b25a9688b3cdf9e5449e3d31cbcfa9c7ae
29 lines
506 B
CSS
29 lines
506 B
CSS
/**
|
|
* CSS for WikiEditor
|
|
*/
|
|
|
|
/* This ID (#editform) could change in MediaWiki */
|
|
form#editform {
|
|
margin: 0;
|
|
padding: 0;
|
|
}
|
|
|
|
/* These IDs (#wpSummaryLabel and #wpSummary) could change in MediaWiki */
|
|
#wpSummary,
|
|
#wpSummaryLabel {
|
|
margin-bottom: 1em;
|
|
}
|
|
|
|
/* This ID (#wpTextbox1) could change in MediaWiki */
|
|
.wikiEditor-ui textarea#wpTextbox1 {
|
|
border: none;
|
|
padding: 0;
|
|
margin: -1px;
|
|
line-height: 1.5em;
|
|
resize: vertical;
|
|
}
|
|
|
|
.wikiEditor-ui .wikiEditor-ui-text > textarea#wpTextbox1 {
|
|
margin: 0;
|
|
}
|