wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-12-21 03:02:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
698 commits 13 branches 25 tags 28 MiB
Commit graph

256 commits

Author SHA1 Message Date
Translation updater bot 44ee572d5f Localisation updates from https://translatewiki.net. 
Change-Id: I1a738ca09da014dfa522eafd6e545bff90960363
 2014-03-31 20:13:16 +00:00
Translation updater bot 495be60c60 Localisation updates from https://translatewiki.net. 
Change-Id: I07729898e4e637a010c0f06f1a6e9ae34810f89d
 2014-03-30 20:10:01 +00:00
jenkins-bot ecff4f5837 Merge "Ask for confirmation when saving document with errors" 2014-03-30 12:03:51 +00:00
Derk-Jan Hartman 262bfde28e Ask for confirmation when saving document with errors 
Bug: 63202
Change-Id: Ifbdf976f3c0f27da67d7cf034c040d4279d62217
 2014-03-30 00:47:10 +01:00
Translation updater bot 8cf9fffd5c Localisation updates from https://translatewiki.net. 
Change-Id: Ia09a20d4ffc79bbc05042f451c018be73a990008
 2014-03-28 19:25:39 +00:00
Siebrand Mazeland 27249af1cc Migrate to JSON i18n 
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: Id2e1243b0d67c0e6e54e4a147adca6df5d8ee78e
 2014-03-26 10:12:39 +01:00