wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-23 23:03:46 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/CodeEditor
60 commits 163 branches 5 tags 27 MiB
JavaScript 99.9%
Go to file
Tim Starling 8fe95e1469 Fixed a couple of minor issues in r115010: 
* Scroll up a few lines so that the user can see the error context
* Defer processing of the fragment until the load event, otherwise the code editor is not fully initialised and does not properly respond to the navigateTo() call.
2012-04-23 11:40:43 +00:00
images More image compression of extensions with WMF interest 2012-02-29 22:02:03 +00:00
modules Fixed a couple of minor issues in r115010: 2012-04-23 11:40:43 +00:00
CodeEditor.hooks.php Fix a very stupid copy-paste-caused typo. 2012-03-09 11:16:23 +00:00
CodeEditor.i18n.php Localisation updates for core and extension messages from translatewiki.net 2012-01-19 21:38:41 +00:00
CodeEditor.php * Update the list of the languages 2012-02-06 21:59:13 +00:00
Makefile Add stub extension version of CodeEditor embedding Ace (ace.ajax.org) for editing JS and CSS pages. 2011-06-09 21:50:45 +00:00