Fix last commit
add MathDump.php file

Change-Id: If13c029f7843daa61c7a2a5f031802c97836ca5c