Extension:PHP highlight