MediaWiki is often used as a framework, so when talking about turning it into a library, comparing with what the Symfony framework did could be helpful. They extracted most of their code into libraries called Symfony Components which now have widespread adoption in the PHP world. I imagine you would want to do something similar for MediaWiki, as a single big "MediaWiki library" does not make a lot of sense if you ask me.
PS: thanks for pushing this stuff