Changeset 177405
- Timestamp:
- 11/27/2009 09:03:48 AM (16 years ago)
- Location:
- random-number-generator/trunk
- Files:
-
- 2 edited
-
random_number_generator.php (modified) (2 diffs)
-
readme.txt (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
random-number-generator/trunk/random_number_generator.php
r177245 r177405 4 4 Plugin URI: http://blogs.wittwer.fr/whiler/2009/11/24/random-number-generator-1-1/ 5 5 Description: Generates a random number (for instance, useful to avoid browsers links cache) 6 Version: 1.3. 16 Version: 1.3.2 7 7 Author: Whiler 8 8 Author URI: http://william.wittwer.fr/ … … 302 302 add_action( "admin_print_scripts-$random_number_generator_settings_page", 'random_number_generator_scripts' ); 303 303 304 // Après avoir sauvegardé, on peut se retrouver sur une autre page 305 if ( $random_number_generator_parent_menu != basename($_SERVER['PHP_SELF'])) {304 // Après avoir sauvegardé, on peut se retrouver sur une autre page MAIS toujours sur la page d'options... 305 if (($random_number_generator_parent_menu != basename($_SERVER['PHP_SELF'])) && (plugin_basename(dirname(__FILE__).'/random_number_generator.php') == $_GET['page'])) { 306 306 // Duplique la page si on vient de la changer pour que la précédente existe encore temporairement et évite d'avoir une erreur 307 307 add_submenu_page(basename($_SERVER['PHP_SELF']),__('Rand#Gen.','random_number_generator'), __('Rand#Gen.','random_number_generator'), "edit_plugins", __FILE__, 'random_number_generator_optionsPage'); -
random-number-generator/trunk/readme.txt
r177245 r177405 70 70 == Changelog == 71 71 72 = 1.3.2 = 73 * Submenu was displayed in Dashboard menu when not on RNG options page: fixed 74 72 75 = 1.3.1 = 73 76 * The previous page isn't anymore obsolete but it's still recommended to navigate to the new one (from the new submenu).
Note: See TracChangeset
for help on using the changeset viewer.