怎么把未知长度的字符串从末尾截掉指定的字串呢

如何把未知长度的字符串从末尾截掉指定的字串呢？
如：字串：沈阳市公安局电话 想截掉尾部的“电话”，如何实现呢？
------解决方案--------------------
$s='沈阳市公安局电话';
echo preg_replace('/电话$/','',$s);