Merge "Perform a permission check on the title when changing the page language"
[lhc/web/wiklou.git] / resources / src / mediawiki / mediawiki.log.js
1 /*!
2 * Logger for MediaWiki javascript.
3 * Implements the stub left by the main 'mediawiki' module.
4 *
5 * @author Michael Dale <mdale@wikimedia.org>
6 * @author Trevor Parscal <tparscal@wikimedia.org>
7 */
8
9 ( function ( mw, $ ) {
10
11 // Keep reference to the dummy placeholder from mediawiki.js
12 // The root is replaced below, but it has other methods that we need to restore.
13 var original = mw.log,
14 slice = Array.prototype.slice;
15
16 mw.log = function () {
17 // Turn arguments into an array
18 var args = slice.call( arguments ),
19 // Allow log messages to use a configured prefix to identify the source window (ie. frame)
20 prefix = mw.config.exists( 'mw.log.prefix' ) ? mw.config.get( 'mw.log.prefix' ) + '> ' : '';
21
22 // Try to use an existing console
23 // Generally we can cache this, but in this case we want to re-evaluate this as a
24 // global property live so that things like Firebug Lite can take precedence.
25 if ( window.console && window.console.log && window.console.log.apply ) {
26 args.unshift( prefix );
27 window.console.log.apply( window.console, args );
28 return;
29 }
30
31 // If there is no console, use our own log box
32 mw.loader.using( 'jquery.footHovzer', function () {
33
34 var hovzer,
35 d = new Date(),
36 // Create HH:MM:SS.MIL timestamp
37 time = ( d.getHours() < 10 ? '0' + d.getHours() : d.getHours() ) +
38 ':' + ( d.getMinutes() < 10 ? '0' + d.getMinutes() : d.getMinutes() ) +
39 ':' + ( d.getSeconds() < 10 ? '0' + d.getSeconds() : d.getSeconds() ) +
40 '.' + ( d.getMilliseconds() < 10 ? '00' + d.getMilliseconds() : ( d.getMilliseconds() < 100 ? '0' + d.getMilliseconds() : d.getMilliseconds() ) ),
41 $log = $( '#mw-log-console' );
42
43 if ( !$log.length ) {
44 $log = $( '<div id="mw-log-console"></div>' ).css( {
45 overflow: 'auto',
46 height: '150px',
47 backgroundColor: 'white',
48 borderTop: 'solid 2px #ADADAD'
49 } );
50 hovzer = $.getFootHovzer();
51 hovzer.$.append( $log );
52 hovzer.update();
53 }
54 $log.append(
55 $( '<div>' )
56 .css( {
57 borderBottom: 'solid 1px #DDDDDD',
58 fontSize: 'small',
59 fontFamily: 'monospace',
60 whiteSpace: 'pre-wrap',
61 padding: '0.125em 0.25em'
62 } )
63 .text( prefix + args.join( ', ' ) )
64 .prepend( '<span style="float: right;">[' + time + ']</span>' )
65 );
66 } );
67 };
68
69 // Restore original methods
70 mw.log.warn = original.warn;
71 mw.log.error = original.error;
72 mw.log.deprecate = original.deprecate;
73
74 }( mediaWiki, jQuery ) );