I think you are confusing my extension with an extension by mrfdev https://www.mrfdev.com/enhancer-for-youtube My extension has never had a mini player feature but I plan on adding one eventually.

Are you sure you aren't using the wrong extension? This one is different from the one with a similar name but different link