More PHP plugins, minibuffexplorer colors.