add check for $wgWikimediaJenkinsCI isset

Change-Id: If7e38cc4858fd970b5feb90a44a6787df822de98