WordPress Codex ERD Editor?

So the WordPress ERD diagram found here is awesome looking- and I was wondering what editor was used to create the diagram? It certainly doesn’t look like Viso.