Jeroen De Dauw has submitted this change and it was merged. Change subject: renaming editor class ......................................................................
renaming editor class Change-Id: Ic326d4d2cfe4d5ca98aef33511c64ca2dbe88c06 --- M Maps.classes.php R includes/editor/MapEditorHTML.php M includes/specials/SpecialMapEditor.php 3 files changed, 6 insertions(+), 6 deletions(-) Approvals: Jeroen De Dauw: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/42753 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ic326d4d2cfe4d5ca98aef33511c64ca2dbe88c06 Gerrit-PatchSet: 3 Gerrit-Project: mediawiki/extensions/Maps Gerrit-Branch: master Gerrit-Owner: Nischayn22 <[email protected]> Gerrit-Reviewer: Jeroen De Dauw <[email protected]> Gerrit-Reviewer: Netbrain <[email protected]> Gerrit-Reviewer: Nischayn22 <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
