Difference between revisions of "MediaWiki:Common.js"
Jump to navigation
Jump to search
Stijnmanpam (talk | contribs) m |
|||
| (5 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
| − | / |
+ | // Any JavaScript here will be loaded for all users on every page load. |
| + | |||
// loads the edittool page |
// loads the edittool page |
||
var load_edittools = true; |
var load_edittools = true; |
||
| − | |||
// extra drop down menu on editing for adding special characters |
// extra drop down menu on editing for adding special characters |
||
//importScript('MediaWiki:SelectCategory.js') |
//importScript('MediaWiki:SelectCategory.js') |
||
| − | + | importScript('MediaWiki:Edittools.js') |
|
| − | |||
| − | /** |
||
| − | * Styling for links generated by [[MediaWiki:Edittools]] |
||
| − | * @source www.mediawiki.org/wiki/Extension:CharInsert#Styling |
||
| − | * @updated 2012-02-29 |
||
| − | */ |
||
| − | .mw-charinsert-buttons { |
||
| − | margin-top: 10px; |
||
| − | border: 1px solid #aaaaaa; |
||
| − | padding: 1px; |
||
| − | text-align: center; |
||
| − | font-size: 110%; |
||
| − | } |
||
| − | .mw-charinsert-buttons a { |
||
| − | color: black; |
||
| − | background-color: #cde !important; |
||
| − | font-weight: bold; |
||
| − | font-size: .9em; |
||
| − | text-decoration: none; |
||
| − | border: thin #069 outset; |
||
| − | padding: 0 .1em .1em; |
||
| − | } |
||
| − | .mw-charinsert-buttons a:hover, |
||
| − | .mw-charinsert-buttons a:active { |
||
| − | background-color: #bcd; |
||
| − | border-style: inset; |
||
| − | } |
||
| − | .client-js .mw-edittools-section { |
||
| − | display: inline; |
||
| − | } |
||
| − | .client-js .mw-edittools-section input[type="button"] { |
||
| − | font-size: 0.9em; |
||
| − | padding-left: 1px; |
||
| − | padding-right: 1px; |
||
| − | margin-left: 1px; |
||
| − | } |
||
Latest revision as of 06:24, 26 May 2023
// Any JavaScript here will be loaded for all users on every page load.
// loads the edittool page
var load_edittools = true;
// extra drop down menu on editing for adding special characters
//importScript('MediaWiki:SelectCategory.js')
importScript('MediaWiki:Edittools.js')
