Revision 851
Added by thorn almost 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.