Hosting upgrade to PHP7.2

[Shelwien]

I've just got a mail from hosting "Starting at the end of October 2019, we will be upgrading PHP 5.6 and 7.0 to PHP 7.2 on all webservers.".
Fun times soon, I guess...

[Shelwien]

Seems to work, though upgrade script didn't complete due to sql syntax errors, and I had to disable table bbcode plugin :(

[Shelwien]

Update: there was incompatible code also in the handler of "thanks" button... hopefully fixed.
Please tell me if there're any other bugs.

[CompressMaster]

Text in "Thanks" is different:
prior: The following users say thank you for this useful post:
now: Thanks:

better to have the 1st...

[Shelwien]

That's unrelated: https://encode.su/threads/3217-The-F...is-Useful-Post
You can post the thanks header text of your choice there. Also I'd add a poll.

[Mauro Vezzosi]

I can no longer paste text from my computer into a new post.
Are there any known problems with paste after upgrading to PHP 7.2?

[Shelwien]

Could be this?
https://stackoverflow.com/questions/...me-and-firefox
https://github.com/ckeditor/ckeditor...ment-306279192

I always used Shift-Insert to paste text, so I didn't notice any changes :)

[CompressMaster]

I can no longer paste text from my computer into a new post.
Are there any known problems with paste after upgrading to PHP 7.2?

It works perfectly for me using ctrl-c and ctrl-v command as before.
I´m using latest version of firefox. Try to clear your browser cache. Or some lastly installed addons may interfere. Or it can also be misconfigured browser. But it should works without any problems anyway...

[Mauro Vezzosi]

I can no longer paste text from my computer into a new post.
Are there any known problems with paste after upgrading to PHP 7.2?

Seems to be an Internet Explorer 11 problem.
Doesn't work:
- Win 7 + IE 11, Win 8.1 + IE 11.
- Copy: Ctrl+C, Ctrl+Ins; from Windows Notepad, TextPad, post editor, ...
- Paste in post editor: Ctrl+V (never worked), Shift+Ins (never worked), Ctrl+Shift+Ins, Right Click + Paste (worked until now), Paste button in post editor + Clipboard | Textbox.
- Paste in "Title" works.
Works:
- Win 7 + Chrome 78.
- Copy: various combinations.
- Paste in post editor: ~all.

Win 7 + IE 11/Chrome 78 is not the computer I usually use, however it works.