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.