Update Mux.php

port to PHP5.3