Revision 2031
Added by Luisehahne almost 12 years ago
- /search/search.php:: trim() parameter (Tks to evaki)
- /search/search_mod.php:: check for undefined users index
| search_modext.php | ||
|---|---|---|
| 45 | 45 |
// make username and displayname for "last modified by... on ..."-string |
| 46 | 46 |
function get_page_modified_by($page_modified_by, $users) {
|
| 47 | 47 |
global $TEXT; |
| 48 |
if($page_modified_by>0) {
|
|
| 48 |
if( ($page_modified_by > 0) && isset($users[$page_modified_by]) ) {
|
|
| 49 | 49 |
$username = $users[$page_modified_by]['username']; |
| 50 | 50 |
$displayname = $users[$page_modified_by]['display_name']; |
| 51 | 51 |
} else {
|
Also available in: Unified diff