<?php

    $entrada = '100,30'; 
    
    echo preg_replace('/[^0-9]+/','',$entrada);