Completed
Push — fixCOMMON_WIKIPAGE_SAVE ( 33d979 )
by Michael
05:12
created

No notable changes

There were no notable changes in the changeset which was inspected.

6.13
▶   ± 0
Head
Michael Große  
Fix save content modified in COMMON_WIKIPAGE_SAVE
Base
Andreas Gohr  
fix another PHP 7.1 problem