doctrine/mongodb — pull request #131 by jmikola (2013-09-02 20:52:30+00:00)
Title: Remove $cmd args/properties and deprecate mongoCmd option

Even if the "mongo.cmd" INI option is customized, the orignal "$" character may still be used. There is no functional reason to support a customizable command character in Doctrine.