Mobile carriers announce they’re ending shared short codes, but don’t say when