It was a requirement for areas of public performances to have an independantly supplied lighting circuit, and gas lamps were often used for this. I recall gas lamps in Reading Town Hall into the mid 1970's as the independantly supplied lighting, which were turned on during performances.