K 10
svn:author
V 2
ed
K 8
svn:date
V 27
2017-12-01T10:25:52.505147Z
K 7
svn:log
V 118
Eliminate the last user of basename_r() in the base system.

In this case it's fairly easy to make use of basename().

END