ChangeLog for php-docs v1.3.1
=============================

* Milian Wolff: set version to 1.3.1
* Milian Wolff: reuse existing php documentation widget for navigation, fix history
* Milian Wolff: cleanup and don't leak temp files for user stylesheet
* Milian Wolff: minor cleanup