Revision 851
Added by thorn over 16 years ago
functions.php | ||
---|---|---|
391 | 391 |
';', /* ; */ ':', /* : */ ',', /* , */ '?' /* ? */ |
392 | 392 |
); |
393 | 393 |
$string = str_replace($bad, '', $string); |
394 |
// replace multiple dots in filename to single dot and (multiple) dots at the end of the filename to nothing |
|
395 |
$string = preg_replace(array('/\.+/', '/\.+$/'), array('.', ''), $string); |
|
394 | 396 |
// Now replace spaces with page spcacer |
395 | 397 |
$string = trim($string); |
396 | 398 |
$string = preg_replace('/(\s)+/', PAGE_SPACER, $string); |
... | ... | |
431 | 433 |
'?' // ? |
432 | 434 |
); |
433 | 435 |
$string = str_replace($bad, '', $string); |
436 |
// replace multiple dots in filename to single dot and (multiple) dots at the end of the filename to nothing |
|
437 |
$string = preg_replace(array('/\.+/', '/\.+$/'), array('.', ''), $string); |
|
434 | 438 |
// Clean any page spacers at the end of string |
435 | 439 |
$string = trim($string); |
436 | 440 |
// Finally, return the cleaned string |
Also available in: Unified diff
page-names with doubled (or more) points can not be handled if php runs as cgi. Thanks to forum member hgi2001.