wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-15 11:30:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
310 commits 162 branches 5 tags 26 MiB
Commit graph

9 commits

Author SHA1 Message Date
jenkins-bot 74e4cc383f Merge "Abort previous unfinished API request before sending new request" 2016-01-27 20:57:22 +00:00
Fomafix 135716727d Abort previous unfinished API request before sending new request 
This change requires 81171ab3 from core included in MediaWiki 1.27.

Change-Id: I8dec32bf49e412510cf5d98f2f946bfd337f47a1
 2016-01-27 11:07:38 +00:00
Fomafix d10cfbb1bf Update URLs from http://ace.ajax.org/ to https://ace.c9.io/ 
http://ace.ajax.org/ redirects to https://ace.c9.io/

Change-Id: Ib915fec2855bfcec1a7d9b3c91dd3dd13db703ab
 2016-01-27 11:01:54 +00:00
Fomafix eacbcd828a Use module "mediawiki.api.options" to save options 
This change requires MediaWiki 1.25.

Change-Id: Id476b7422bd47751813f671982ceecd6d9844718
 2015-11-29 16:00:13 +00:00
Thalia 9ec460642c Add latex to Ace modes module 
Change-Id: Ibcd941d938c80ffa7206df1b58acf6d1fc7c388b
 2015-11-18 13:45:56 -08:00
Kunal Mehta 97cc56046b Add MediaWiki version requirement to extension.json 
Change-Id: I15f3af699831c7253752ea1815fc88839ee0466c
 2015-09-23 08:54:29 -07:00
Kunal Mehta e8a193ae40 Set manifest_version in extension.json 
Bug: T100745
Change-Id: I1ea45b4a7057833f141925329c640ebe1ac4ca41
 2015-06-05 17:52:10 -07:00
paladox 4b368e00ae Sync extension.json with CodeEditor.php and empty php entry point 
Change-Id: I4e27986911bc73a1247f9e3f0127797fc560df1c
 2015-05-29 23:12:10 +01:00
Kunal Mehta 573afa02a1 Add extension.json, stop using $dir 
Bug: T87897
Change-Id: I43eaa3f2d96cba98ac6d317b7bff7ba40f16bc7f
 2015-03-02 17:55:52 -08:00