MarkTraceur has submitted this change and it was merged. Change subject: Make the UI more integrated with other editors ......................................................................
Make the UI more integrated with other editors This is a big patch (it's 0.3.0!), it moves all of the UI elements into whatever editor is available at the time. This means we no longer use the ep_wikitext plugin, now we just use ep_ethereditor. That plugin is a lot smaller, among other things. In any case, this also means that there's no longer a separate page for collaborative editing. UI fixes will follow shortly, here, once Munaf and I figure it all out. Change-Id: Ib25a78a22849fbb3815bacd4031e87a5a837bb1b --- M EtherEditor.php M EtherEditorHooks.php A api/CreateNewPadFromPage.php M includes/EtherEditorPad.php M modules/ext.etherEditor.js 5 files changed, 297 insertions(+), 91 deletions(-) Approvals: MarkTraceur: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/15751 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ib25a78a22849fbb3815bacd4031e87a5a837bb1b Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/EtherEditor Gerrit-Branch: master Gerrit-Owner: MarkTraceur <[email protected]> Gerrit-Reviewer: MarkTraceur <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
