MarkTraceur has submitted this change and it was merged. Change subject: Fix port-80 bug ......................................................................
Fix port-80 bug If the port is 80, there's no need to change the port. Change-Id: Ie088d3c922cbb593e502ef9cc0113715c27efb23 --- M modules/ext.etherEditor.js 1 file changed, 9 insertions(+), 4 deletions(-) Approvals: MarkTraceur: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/15752 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie088d3c922cbb593e502ef9cc0113715c27efb23 Gerrit-PatchSet: 2 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
