1 Jul 2011 01:04
SVN: [91234] trunk/extensions/ParserPlayground/modules
<brion <at> svn.wikimedia.org>
2011-06-30 23:04:09 GMT
2011-06-30 23:04:09 GMT
http://www.mediawiki.org/wiki/Special:Code/MediaWiki/91234 Revision: 91234 Author: brion Date: 2011-06-30 23:04:08 +0000 (Thu, 30 Jun 2011) Log Message: ----------- Disable the PEG editing box for now (to be replaced with a nicer way to plug in alternates & tweak them) Modified Paths: -------------- trunk/extensions/ParserPlayground/modules/ext.parserPlayground.js trunk/extensions/ParserPlayground/modules/ext.parserPlayground.pegParser.js Modified: trunk/extensions/ParserPlayground/modules/ext.parserPlayground.js =================================================================== --- trunk/extensions/ParserPlayground/modules/ext.parserPlayground.js 2011-06-30 22:58:44 UTC (rev 91233) +++ trunk/extensions/ParserPlayground/modules/ext.parserPlayground.js 2011-06-30 23:04:08 UTC (rev 91234) <at> <at> -207,7 +207,7 <at> <at> }, pp.renderMap); }, hide: function() { - $('#pegparser-source').hide(); // it'll reshow; others won't need it + //$('#pegparser-source').hide(); // it'll reshow; others won't need it context.$iframe = undefined; if (context.$parserContainer !== undefined) { context.$parserContainer.remove();(Continue reading)
RSS Feed