making PHP static