<?php

// This table has been removed; see T12104 for details.