Turns out the original phpdoc was wrong
[mms] Make sure the modseq given to the vanished() command is always at least 1 (Bug #12031).
Merge branch 'master' into imp_6_1