page history: fix username rendering

This commit is contained in:
Starbeamrainbowlabs 2021-09-03 02:01:07 +01:00
parent 0a950425e1
commit 525dbaa3e1
Signed by: sbrl
GPG Key ID: 1BE5172E637709C2
1 changed files with 2 additions and 2 deletions

View File

@ -688,11 +688,11 @@ function render_pagename($rchange) {
/**
* Renders an editor's or a group of editors name(s) in HTML.
* @package core
* @param string $editorName The name of the editor to render.
* @param string $editorName The name of the editor to render. Note that this may contain ARBITRARY HTML! In other words, make sure that the editor name(s) are sanitized (e.g. htmlentities()'d) before padding to this function.
* @return string HTML representing the given editor's name.
*/
function render_editor($editorName) {
return "<span class='editor'>&#9998; ".htmlentities($editorName)."</span>";
return "<span class='editor'>&#9998; $editorName</span>";
}
/**