[mms] Fix compilation on ancient versions of PHP 5.3 (Bug #13310).