WordPress.org
Get WordPress

Plugin Directory

Changeset 388036


Ignore:
Timestamp:
05/23/2011 02:17:28 PM (15 years ago)
Author:
johndyer
Message:
  • trying to trip version number change
File:
1 edited

Legend:

Unmodified
Added
Removed

  • media-element-html5-video-and-audio-player/trunk/mediaelement-js-wp.php

    r387228 r388036  
    44 * @version 2.1.4
    55 */
     6 
    67/*
    7 Plugin Name: MediaElementJS - HTML5 Audio and Video
     8Plugin Name: MediaElement.js - HTML5 Audio and Video
    89Plugin URI: http://mediaelementjs.com/
    910Description: Video and audio plugin for WordPress built on MediaElement.js HTML5 video and audio player library. Embeds media in your post or page using HTML5 with Flash or Silverlight fallback support for non-HTML5 browsers. Video support: MP4, Ogg, WebM, WMV. Audio support: MP3, WMA, WAV
    … …  
    4546
    4647    //create new top-level menu
    47     add_options_page('MediaElement.js Settings', 'MediaElement.js Settings', 'administrator', __FILE__, 'mejs_settings_page');
     48    add_options_page('MediaElement.js', 'MediaElement.js', 'administrator', __FILE__, 'mejs_settings_page');
    4849
    4950    //call register settings function
Note: See TracChangeset for help on using the changeset viewer.