Update CachedRegexp.php