MediaWiki:Common.js: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
K (x) |
K (x) |
||
Zeile 10: | Zeile 10: | ||
type: 'encapsulate', | type: 'encapsulate', | ||
options: { | options: { | ||
pre: "< | pre: "<so"."urce lang=\"php\">", | ||
peri: "<?php\n\n?>", | peri: "<?php\n\n?>", | ||
post: "</source>" | post: "</source>" |
Version vom 18. Mai 2013, 02:47 Uhr
1 var customizeToolbar = function() { /* Your code goes here */$('#wpTextbox1').wikiEditor('addToToolbar', {
2 section: 'advanced',
3 group: 'format',
4 tools: {
5 buttonId: {
6 label: 'Highlight SourceCode',
7 type: 'button',
8 icon: '/skins/common/images/button_image.png',
9 action: {
10 type: 'encapsulate',
11 options: {
12 pre: "<so"."urce lang=\"php\">",
13 peri: "<?php\n\n?>",
14 post: "</source>"
15 }
16 }
17 }
18 }
19 });
20 };
21
22 /* Check if view is in edit mode and that the required modules are available. Then, customize the toolbar . . . */
23 if ( $.inArray( mw.config.get( 'wgAction' ), ['edit', 'submit'] ) !== -1 ) {
24 mw.loader.using( 'user.options', function () {
25 if ( mw.user.options.get('usebetatoolbar') ) {
26 mw.loader.using( 'ext.wikiEditor.toolbar', function () {
27 $(document).ready( customizeToolbar );
28 } );
29 }
30 }
31 );}