We probably always wanted to use a real HTML comment as "tag" here,
but it seems the '!' was forgotten. With older mediawiki it still
worked, but 1.31 got stricter and thus it was converted to HTML
entities.
Bring the plugin again in line with the HTMLets MediaWiki
extension[0] it based on in the first place.
[0]: 11e5ef1ea2/HTMLets.php (140)
Signed-off-by: Thomas Lamprecht <t.lamprecht@proxmox.com>
Some (new) mediawiki versions can convert '<' and '>' to '<' or
'>', this resulted in a situation where our encoded tag did not
get detected by the decode logic, and thus a visitor only saw
something like the following:
> <--- @PVEDOCHACK@
> PCEtLSBhc2NpaWRvYyBIRUFERVIgLS0+DQo8c2NyaXB0IHR5.....
> @PVEDOCHACK@ -->
The word "HACK" was a bit unfortunate too, as it could be interpreted
as in the docs got hacked, by unknowing people. So change that too to
'PVEDOCS_BASE64'
Signed-off-by: Thomas Lamprecht <t.lamprecht@proxmox.com>
