﻿/* MediaElement player legacy stub */
