Completed
Pull Request — development (#794)
by Nick
04:40
created

Changes

13 issues (11 critical, 2 minor) were introduced.
15 issues were fixed.
8 new patches (Doc Comments, Unused Use Statements, Spacing) are available.
B A edithelper.inc.php ➔ processEditorInput() improved
8.2
▶   ± 0
Head
Nick Lubisch  
Merge 0e853d53a68db86967149178a5582cf02403a505 into 3fac1bacecb582b2e0f86c8c1244f082c0814754
1 more commit
Base
Thomas Eiling  
Merge pull request #793 from nlubisch/feature/improve-docker