No, I don't have any extensions like that installed, and the feature just showed up for me.
During my internship this summer we also added Push capabilities to decrease the time it takes to send a tab to another device (it used to be in the order of minutes).
[0] https://addons.mozilla.org/En-us/firefox/addon/send-tab-to-d...