function jquery_date_to_php_format( $js_format ) {
		// Mapping of jQuery UI Datepicker tokens to PHP date format tokens
		$replacements = array(
			// Year tokens
			'yy' => 'Y',  // 4-digit year
			'y'  => 'y',  // 2-digit year

			// Month tokens
			'mm' => 'm',  // Month with leading zero
			'm'  => 'n',  // Month without leading zero
			'MM' => 'F',  // Full month name
			'M'  => 'M',  // Short month name

			// Day tokens
			'dd' => 'd',  // Day with leading zero
			'd'  => 'j',  // Day without leading zero
			'DD' => 'l',  // Full day name
			'D'  => 'D',   // Short day name
		);

		// Sort keys descending by length to avoid partial replacements.
		uksort(
			$replacements,
			function ( $a, $b ) {
				return strlen( $b ) - strlen( $a );
			}
		);

		return strtr( $js_format, $replacements );
	}