Change Details

Deploy to: * dewiki * cawiki * group0 * wikitech Deploy on Sept. 22 This should be accomplished by setting the `$wgCodeMirrorLineNumberingNamespaces = null` for those wikis.

Deploy to: * dewiki * cawiki * group0 * wikitech Deploy on Sept. 29 This should be accomplished by setting the `$wgCodeMirrorLineNumberingNamespaces = null` for those wikis.

Deploy to: * dewiki * cawiki * group0 * wikitech Deploy on Sept. 2229 This should be accomplished by setting the `$wgCodeMirrorLineNumberingNamespaces = null` for those wikis.