Revert "delete local.php.dist"

This reverts commit b49895b353d2140b7d381064bcfb57ca3bad49ab.
Revert "Revert "delete local.php.dist""

This reverts commit 94767afadbbbe10a12bf17de86de0afbb1693f56.