<?php

// This patch is unnecessary and was nuked.